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

Formal Language: 



Term 1: Term 2:

(subclass HoofedMammal Mammal) Merge.kif 14636-14636 Ungulado e' uma sub-classe de Mamifero
(subclass Antelope HoofedMammal) Mid-level-ontology.kif 20101-20101 Antelope e' uma sub-classe de Ungulado
(subclass Buffalo HoofedMammal) Mid-level-ontology.kif 20105-20105 Buffalo e' uma sub-classe de Ungulado
(subclass Horse HoofedMammal) Mid-level-ontology.kif 20171-20171 Horse e' uma sub-classe de Ungulado
(subclass Pig HoofedMammal) Mid-level-ontology.kif 20175-20175 Pig e' uma sub-classe de Ungulado
(subclass Donkey HoofedMammal) Mid-level-ontology.kif 20178-20178 Donkey e' uma sub-classe de Ungulado
(subclass Mule HoofedMammal) Mid-level-ontology.kif 20186-20186 Mule e' uma sub-classe de Ungulado
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 20205-20205 Sheep e' uma sub-classe de Ungulado
(subclass Cattle HoofedMammal) Mid-level-ontology.kif 20219-20219 Cattle e' uma sub-classe de Ungulado
(subclass Goat HoofedMammal) Economy.kif 4905-4905 Goat e' uma sub-classe de Ungulado
(subclass WaterBuffalo HoofedMammal) Economy.kif 4907-4907 WaterBuffalo e' uma sub-classe de Ungulado
(subclass Reindeer HoofedMammal) Economy.kif 4909-4909 Reindeer e' uma sub-classe de Ungulado
(subclass Deer HoofedMammal) Economy.kif 4911-4911 Deer e' uma sub-classe de Ungulado


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