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

Formal Language: 



Term 1: Term 2:

(subclass QuaternaryPredicate Predicate) Merge.kif 3500-3500 QuaternaryPredicate ist eine teilkategorie von Predicate
(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3501-3501 QuaternaryPredicate ist eine teilkategorie von QuaternaryRelation
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3502-3502 QuaternaryPredicate 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