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

Formal Language: 



Term 1: Term 2:

(subclass QuaternaryFunction Function) Merge.kif 3461-3461 QuaternaryFunction ist eine teilkategorie von Function
(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3462-3462 QuaternaryFunction ist eine teilkategorie von QuintaryRelation
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3463-3463 QuaternaryFunction ist eine teilkategorie von InheritableRelation


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