appearance as argument number 1 |
![]() |
(disjoint Canine Feline) | Merge.kif 14657-14657 | 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 14658-14659 | |
(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 14656-14656 | Canine is a subclass of carnivore |
appearance as argument number 2 |
![]() |
(subclass DomesticDog Canine) | Mid-level-ontology.kif 20122-20122 | Domestic dog is a subclass of canine |
(subclass Fox Canine) | Mid-level-ontology.kif 20160-20160 | Fox is a subclass of 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 23892-23897 |
![]() |
![]() |