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

Formal Language: 



Term 1: Term 2:

(subclass HoofedMammal Mammal) Merge.kif 14590-14590 HoofedMammal ist eine teilkategorie von Mammal
(subclass Antelope HoofedMammal) Mid-level-ontology.kif 20074-20074 Antelope ist eine teilkategorie von HoofedMammal
(subclass Buffalo HoofedMammal) Mid-level-ontology.kif 20078-20078 Buffalo ist eine teilkategorie von HoofedMammal
(subclass Horse HoofedMammal) Mid-level-ontology.kif 20144-20144 Horse ist eine teilkategorie von HoofedMammal
(subclass Pig HoofedMammal) Mid-level-ontology.kif 20148-20148 Pig ist eine teilkategorie von HoofedMammal
(subclass Donkey HoofedMammal) Mid-level-ontology.kif 20151-20151 Donkey ist eine teilkategorie von HoofedMammal
(subclass Mule HoofedMammal) Mid-level-ontology.kif 20159-20159 Mule ist eine teilkategorie von HoofedMammal
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 20178-20178 Sheep ist eine teilkategorie von HoofedMammal
(subclass Cattle HoofedMammal) Mid-level-ontology.kif 20192-20192 Cattle ist eine teilkategorie von HoofedMammal
(subclass Goat HoofedMammal) Economy.kif 4905-4905 Goat ist eine teilkategorie von HoofedMammal
(subclass WaterBuffalo HoofedMammal) Economy.kif 4907-4907 WaterBuffalo ist eine teilkategorie von HoofedMammal
(subclass Reindeer HoofedMammal) Economy.kif 4909-4909 Reindeer ist eine teilkategorie von HoofedMammal
(subclass Deer HoofedMammal) Economy.kif 4911-4911 Deer ist eine teilkategorie von HoofedMammal


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