Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Carnivore
Carnivore(食肉动物)

appearance as argument number 1
-------------------------


(documentation Carnivore ChineseLanguage "这是吃肉的 Mammal Class。这个 Class的成员每只 爪有通常四到五只爪子。这包括猫、狗、熊、浣熊和臭鼬。") chinese_format.kif 3426-3427
(documentation Carnivore EnglishLanguage "The Class of flesh-eating Mammals. Members of this Class typically have four or five claws on each paw. Includes cats, dogs, bears, racoons, and skunks.") Merge.kif 14599-14601
(externalImage Carnivore "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Male_Lion_and_Cub_Chitwa_South_Africa_Luca_Galuzzi_2004.JPG") pictureList.kif 4584-4584
(subclass Carnivore Mammal) Merge.kif 14598-14598 食肉动物哺乳动物subclass

appearance as argument number 2
-------------------------


(disjoint Herbivore Carnivore) Mid-level-ontology.kif 20063-20063 草食动物 和 % 2 是 disjoint
(subclass Badger Carnivore) Mid-level-ontology.kif 20277-20277 Badger食肉动物subclass
(subclass Bear Carnivore) Mid-level-ontology.kif 20292-20292 Bear食肉动物subclass
(subclass Canine Carnivore) Merge.kif 14611-14611 食肉动物subclass
(subclass Feline Carnivore) Merge.kif 14616-14616 猫科动物食肉动物subclass
(termFormat ChineseLanguage Carnivore "食肉动物") chinese_format.kif 994-994
(termFormat EnglishLanguage Carnivore "carnivore") english_format.kif 1195-1195
(termFormat FrenchLanguage Carnivore "carnivore") french_format.kif 671-671
(termFormat Hindi Carnivore "maansaahaarI") terms-hindi.txt 202-202
(termFormat ItalianLanguage Carnivore "Carnivoro") terms-it.txt 205-205
(termFormat JapaneseLanguage Carnivore "肉食動物") japanese_format.kif 2355-2355
(termFormat PortugueseLanguage Carnivore "Carnivoro") portuguese_format.kif 623-623
(termFormat cz Carnivore "carnivore") terms-cz.txt 239-239
(termFormat ro Carnivore "carnivor") relations-ro.kif 692-692
(termFormat tg Carnivore "hayop na kumakain ng hayop") terms-tg.txt 206-206

antecedent
-------------------------


(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))
Merge.kif 14603-14609


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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