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

Formal Language: 



Term 1: Term 2:

(subclass HoofedMammal Mammal) Merge.kif 14612-14612 Ongul� est une sous-classe de mammif�re
(subclass Antelope HoofedMammal) Mid-level-ontology.kif 20073-20073 Antelope est une sous-classe de ongul�
(subclass Buffalo HoofedMammal) Mid-level-ontology.kif 20077-20077 Buffalo est une sous-classe de ongul�
(subclass Horse HoofedMammal) Mid-level-ontology.kif 20143-20143 Horse est une sous-classe de ongul�
(subclass Pig HoofedMammal) Mid-level-ontology.kif 20147-20147 Pig est une sous-classe de ongul�
(subclass Donkey HoofedMammal) Mid-level-ontology.kif 20150-20150 Donkey est une sous-classe de ongul�
(subclass Mule HoofedMammal) Mid-level-ontology.kif 20158-20158 Mule est une sous-classe de ongul�
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 20177-20177 Sheep est une sous-classe de ongul�
(subclass Cattle HoofedMammal) Mid-level-ontology.kif 20191-20191 Cattle est une sous-classe de ongul�
(subclass Goat HoofedMammal) Economy.kif 4905-4905 Goat est une sous-classe de ongul�
(subclass WaterBuffalo HoofedMammal) Economy.kif 4907-4907 WaterBuffalo est une sous-classe de ongul�
(subclass Reindeer HoofedMammal) Economy.kif 4909-4909 Reindeer est une sous-classe de ongul�
(subclass Deer HoofedMammal) Economy.kif 4911-4911 Deer est une sous-classe de ongul�


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