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

Formal Language: 



Term 1: Term 2:

(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2292-2292 AntisymmetricRelation ist eine teilkategorie von BinaryRelation
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2275-2275 AsymmetricRelation ist eine teilkategorie von AntisymmetricRelation
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2366-2366 PartialOrderingRelation ist eine teilkategorie von AntisymmetricRelation


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