implementedTrait
Node
inRelationsFromTrait
HyperRelation
Node
inducedRelations
Schema
isDeepSuperType
Schema
isTraitImplementation
Node