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

Formal Language: 



Term 1: Term 2:

(subclass Marsupial Mammal) Merge.kif 14616-14616 Marsupial ist eine teilkategorie von Mammal
(subclass Kangaroo Marsupial) Mid-level-ontology.kif 20306-20306 Kangaroo ist eine teilkategorie von Marsupial


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