Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass TernaryRelation Relation) Merge.kif 2855-2855 TernaryRelation ist eine teilkategorie von Relation
(subclass TernaryRelation InheritableRelation) Merge.kif 2856-2856 TernaryRelation ist eine teilkategorie von InheritableRelation
(subclass BinaryFunction TernaryRelation) Merge.kif 3400-3400 BinaryFunction ist eine teilkategorie von TernaryRelation
(subclass TernaryPredicate TernaryRelation) Merge.kif 3491-3491 TernaryPredicate ist eine teilkategorie von TernaryRelation


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners