implement some more term hierarchies and isKindOf and getGeneralizationOf(recursive) for IDefinedTerm #3611
implement some more term hierarchies and isKindOf and getGeneralizationOf(recursive) for IDefinedTerm #3611