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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Canine

Sigma KEE - Canine
Canine

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


(disjoint Canine Feline) Merge.kif 14658-14658 不相交的 Canine and 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 14659-14660
(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 61-61
(subclass Canine Carnivore) Merge.kif 14657-14657 子類 Canine and Carnivore

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


(subclass DomesticDog Canine) Mid-level-ontology.kif 20122-20122 子類 家養的狗 and Canine
(subclass Fox Canine) Mid-level-ontology.kif 20160-20160 子類 狐狸 and Canine
(termFormat ChineseLanguage Canine "犬") chinese_format.kif 995-995
(termFormat EnglishLanguage Canine "canine") english_format.kif 1197-1197
(termFormat FrenchLanguage Canine "canin") french_format.kif 672-672
(termFormat Hindi Canine "shvaanIya jantu") terms-hindi.txt 203-203
(termFormat ItalianLanguage Canine "Canide") terms-it.txt 206-206
(termFormat JapaneseLanguage Canine "イヌ科動物") japanese_format.kif 2356-2356
(termFormat PortugueseLanguage Canine "Canino") portuguese_format.kif 624-624
(termFormat cb Canine "iro") terms-cb.txt 208-208
(termFormat cz Canine "canine") terms-cz.txt 240-240
(termFormat ro Canine "specia caninã") relations-ro.kif 693-693
(termFormat tg Canine "aso") terms-tg.txt 207-207

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


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


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

Show without tree


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