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

Formal Language: 



Term 1: Term 2:

(subclass TernaryPredicate Predicate) Merge.kif 3489-3489 TernaryPredicate ist eine teilkategorie von Predicate
(subclass TernaryPredicate TernaryRelation) Merge.kif 3490-3490 TernaryPredicate ist eine teilkategorie von TernaryRelation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3491-3491 TernaryPredicate 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