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

Formal Language: 



Term 1: Term 2:

(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2694-2694 PropositionalAttitude ist eine teilkategorie von IntentionalRelation
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2695-2695 PropositionalAttitude ist eine teilkategorie von AsymmetricRelation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2696-2696 PropositionalAttitude 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