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

Formal Language: 



Term 1: Term 2:

(subclass Ferret Mammal) Mid-level-ontology.kif 30573-30573 Ferret ist eine teilkategorie von Mammal
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 30574-30574 Ferret ist eine teilkategorie von DomesticAnimal


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