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

Formal Language: 



Term 1: Term 2:

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