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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Canine

appearance as argument number 1

(disjoint Canine Feline) Merge.kif 14582-14582
(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 14583-14584
(externalImage Canine " German_Pinscher.JPG") pictureList.kif 79-79
(externalImage Canine " 6/ 6a/ Canine_pannus.JPG/ 800px-Canine_pannus.JPG") pictureList-ImageNet.kif 61-61
(subclass Canine Carnivore) Merge.kif 14581-14581

appearance as argument number 2

(subclass DomesticDog Canine) Mid-level-ontology.kif 20041-20041
(subclass Fox Canine) Mid-level-ontology.kif 20079-20079
(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


    (instance ?B Barking)
    (exists (?D)
            (instance ?D Canine)
            (agent ?B ?D))))
Mid-level-ontology.kif 23816-23821

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