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

Formal Language: 



Term 1: Term 2:

(subclass Mammal WarmBloodedVertebrate) Merge.kif 14602-14602 哺乳动物 是 温血脊椎动物 的 subclass
(subclass Herbivore Mammal) Mid-level-ontology.kif 20061-20061 草食动物 是 哺乳动物 的 subclass
(subclass Llama Mammal) Mid-level-ontology.kif 20317-20317 Llama 是 哺乳动物 的 subclass
(subclass Skunk Mammal) Mid-level-ontology.kif 20326-20326 Skunk 是 哺乳动物 的 subclass
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 30420-30420 Rhinoceros 是 哺乳动物 的 subclass
(subclass Ferret Mammal) Mid-level-ontology.kif 30573-30573 Ferret 是 哺乳动物 的 subclass
(subclass MammalCub Mammal) Mid-level-ontology.kif 30608-30608 MammalCub 是 哺乳动物 的 subclass
(subclass AquaticMammal Mammal) Merge.kif 14608-14608 水生哺乳动物 是 哺乳动物 的 subclass
(subclass HoofedMammal Mammal) Merge.kif 14612-14612 有蹄哺乳动物 是 哺乳动物 的 subclass
(subclass Marsupial Mammal) Merge.kif 14616-14616 有袋动物 是 哺乳动物 的 subclass
(subclass Carnivore Mammal) Merge.kif 14620-14620 食肉动物 是 哺乳动物 的 subclass
(subclass Rodent Mammal) Merge.kif 14643-14643 啮齿动物 是 哺乳动物 的 subclass
(subclass Primate Mammal) Merge.kif 14648-14648 灵长类动物 是 哺乳动物 的 subclass
(subclass Camel Mammal) Economy.kif 4918-4918 骆驼 是 哺乳动物 的 subclass


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