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

Formal Language: 



Term 1: Term 2:

(subclass TernaryFunction Function) Merge.kif 3450-3450 TernaryFunction ist eine teilkategorie von Function
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3451-3451 TernaryFunction ist eine teilkategorie von QuaternaryRelation
(subclass TernaryFunction InheritableRelation) Merge.kif 3452-3452 TernaryFunction 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