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 13541-13541 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 13542-13543
(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 13540-13540 Canine is a subclass of carnivore

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


(subclass DomesticDog Canine) Mid-level-ontology.kif 17838-17838 Domestic dog is a subclass of canine
(subclass Fox Canine) Mid-level-ontology.kif 17875-17875 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 21798-21803


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners