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

Formal Language: 



Term 1: Term 2:

(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 20081-20081 DomesticCat ist eine teilkategorie von DomesticAnimal
(subclass DomesticCat Feline) Mid-level-ontology.kif 20082-20082 DomesticCat ist eine teilkategorie von Feline
(subclass Kitten DomesticCat) Mid-level-ontology.kif 20086-20086 Kitten ist eine teilkategorie von DomesticCat


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