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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Canine
Canine

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


(disjoint Canine Feline) Merge.kif 13603-13603
(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 13604-13605
(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 13602-13602

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


(subclass DomesticDog Canine) Mid-level-ontology.kif 16590-16590
(subclass Fox Canine) Mid-level-ontology.kif 16628-16628
(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 20319-20324


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