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

Formal Language: 



Term 1: Term 2:

(subclass AsymmetricRelation IrreflexiveRelation) Merge.kif 2274-2274 AsymmetricRelation ist eine teilkategorie von IrreflexiveRelation
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2275-2275 AsymmetricRelation ist eine teilkategorie von AntisymmetricRelation
(subclass CaseRole AsymmetricRelation) Merge.kif 2402-2402 CaseRole ist eine teilkategorie von AsymmetricRelation
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2695-2695 PropositionalAttitude ist eine teilkategorie von AsymmetricRelation


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