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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Carnivore
Carnivore(carnivore)
Ailuropodidae, Ailurus, Ailurus_fulgens, Alaska_fur_seal, American_marten, American_mink, American_sable, Antrozous, Antrozous_pallidus, Arctictis, Arctictis_bintourong, Arctocephalus, Arctocephalus_philippi, Arctonyx, Atlantic_walrus, Australian_sea_lion, California_sea_lion, Callorhinus, Callorhinus_ursinus, Carnivora, Charronia, Charronia_flavigula, Choeronycteris, Choeronycteris_mexicana, Conepatus, Cryptoprocta, Cryptoprocta_ferox, Cystophora, Cystophora_cristata, Desmodontidae, Desmodus, Desmodus_rotundus, Diphylla, Diphylla_ecaudata, Eira, Eira_barbara, Enhydra, Enhydra_lutris, Eptesicus, Eptesicus_fuscus, Eptesicus_serotinus, Erignathus, Erignathus_barbatus, Euderma, Euderma_maculata, Eumetopias, Eumetopias_jubatus, Eumops, Eurasian_otter, European_brown_bat...

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 14461-14463
(externalImage Carnivore "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Male_Lion_and_Cub_Chitwa_South_Africa_Luca_Galuzzi_2004.JPG") pictureList.kif 4585-4585
(subclass Carnivore Mammal) Merge.kif 14460-14460 Carnivore is a subclass of mammal

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


(disjoint Herbivore Carnivore) Mid-level-ontology.kif 19828-19828 Herbivore is disjoint from carnivore
(subclass Badger Carnivore) Mid-level-ontology.kif 20042-20042 Badger is a subclass of carnivore
(subclass Bear Carnivore) Mid-level-ontology.kif 20057-20057 Bear is a subclass of carnivore
(subclass Canine Carnivore) Merge.kif 14473-14473 Canine is a subclass of carnivore
(subclass Feline Carnivore) Merge.kif 14478-14478 Feline is a subclass of carnivore
(termFormat ChineseLanguage Carnivore "食肉动物") chinese_format.kif 994-994
(termFormat EnglishLanguage Carnivore "carnivore") english_format.kif 1195-1195

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


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


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