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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Canine
Canine(canine)
African_hunting_dog, Alopex, Alopex_lagopus, Arctic_fox, Arctic_wolf, Canidae, Canis, Canis_aureus, Canis_dingo, Canis_latrans, Canis_lupus, Canis_lupus_tundrarum, Canis_niger, Canis_rufus, Cape_hunting_dog, Crocuta, Crocuta_crocuta, Cuon, Cuon_alpinus, Cyon, Dusicyon, Dusicyon_cancrivorus, Goofy, Hyaena_brunnea, Hyaena_hyaena, Hyaenidae, Lycaeon, Lycaon_pictus, Nyctereutes, Nyctereutes_procyonides, Proteles, Proteles_cristata, Reynard, Sealyham, Snoopy, Urocyon, Urocyon_cinereoargenteus, Vulpes, Vulpes_fulva, Vulpes_macrotis, Vulpes_velox, Vulpes_vulpes, aardwolf, black_fox, blue_fox, brown_hyena, brush_wolf, canid, canine, coydog...

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


(disjoint Canine Feline) Merge.kif 13568-13568 Canine is disjoint from feline
(documentation Canine ChineseLanguage "这是拥有完全可以分离的脚趾、不可伸缩的爪和长鼻嘴的 Carnivore Class,") chinese_format.kif 3428-3429
(documentation Canine EnglishLanguage "The Class of Carnivores with completely separable toes, nonretractable claws, and long muzzles.") Merge.kif 13569-13570
(externalImage Canine "http://upload.wikimedia.org/wikipedia/commons/5/5b/ German_Pinscher.JPG") pictureList.kif 79-79
(externalImage Canine "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6a/ Canine_pannus.JPG/ 800px-Canine_pannus.JPG") pictureList-ImageNet.kif 62-62
(subclass Canine Carnivore) Merge.kif 13567-13567 Canine is a subclass of carnivore

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


(subclass DomesticDog Canine) Mid-level-ontology.kif 17863-17863 Domestic dog is a subclass of canine
(subclass Fox Canine) Mid-level-ontology.kif 17900-17900 Fox is a subclass of canine
(termFormat ChineseLanguage Canine "犬") chinese_format.kif 995-995
(termFormat EnglishLanguage Canine "canine") english_format.kif 1202-1202

consequent
-------------------------


(=>
    (instance ?B Barking)
    (exists (?D)
        (and
            (instance ?D Canine)
            (agent ?B ?D))))
Mid-level-ontology.kif 21823-21828


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