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

Formal Language: 



Term 1: Term 2:

(subclass QuaternaryRelation Relation) Merge.kif 2861-2861 QuaternaryRelation ist eine teilkategorie von Relation
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2862-2862 QuaternaryRelation ist eine teilkategorie von InheritableRelation
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3451-3451 TernaryFunction ist eine teilkategorie von QuaternaryRelation
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3501-3501 QuaternaryPredicate ist eine teilkategorie von QuaternaryRelation


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