| appearance as argument number 1 |
|
|
| (disjoint Canine Feline) | Merge.kif 14658-14658 | Canine is disjoint from feline |
| (documentation Canine ChineseLanguage "这是拥有完全可以分离的脚趾、不可伸缩的爪和长鼻嘴的 Carnivore Class，") | chinese_format.kif 3428-3429 | Canine is disjoint from feline |
| (documentation Canine EnglishLanguage "The Class of Carnivores with completely separable toes, nonretractable claws, and long muzzles.") | Merge.kif 14659-14660 | Canine is disjoint from feline |
| (externalImage Canine "http://upload.wikimedia.org/wikipedia/commons/5/5b/ German_Pinscher.JPG") | pictureList.kif 79-79 | Canine is disjoint from feline |
| (externalImage Canine "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6a/ Canine_pannus.JPG/ 800px-Canine_pannus.JPG") | pictureList-ImageNet.kif 61-61 | Canine is disjoint from feline |
| (subclass Canine Carnivore) | Merge.kif 14657-14657 | Canine is a subclass of carnivore |
| appearance as argument number 2 |
|
|
| (subclass DomesticDog Canine) | Mid-level-ontology.kif 20353-20353 | Domestic dog is a subclass of canine |
| (subclass Fox Canine) | Mid-level-ontology.kif 20391-20391 | Fox is a subclass of canine |
| (termFormat ChineseLanguage Canine "犬") | chinese_format.kif 995-995 | Fox is a subclass of canine |
| (termFormat EnglishLanguage Canine "canine") | english_format.kif 1197-1197 | Fox is a subclass of canine |
| (termFormat FrenchLanguage Canine "canin") | french_format.kif 672-672 | Fox is a subclass of canine |
| (termFormat Hindi Canine "shvaanIya jantu") | terms-hindi.txt 203-203 | Fox is a subclass of canine |
| (termFormat ItalianLanguage Canine "Canide") | terms-it.txt 206-206 | Fox is a subclass of canine |
| (termFormat JapaneseLanguage Canine "イヌ科動物") | japanese_format.kif 2356-2356 | Fox is a subclass of canine |
| (termFormat PortugueseLanguage Canine "Canino") | portuguese_format.kif 624-624 | Fox is a subclass of canine |
| (termFormat cb Canine "iro") | terms-cb.txt 208-208 | Fox is a subclass of canine |
| (termFormat cz Canine "canine") | terms-cz.txt 240-240 | Fox is a subclass of canine |
| (termFormat ro Canine "specia caninã") | relations-ro.kif 693-693 | Fox is a subclass of canine |
| (termFormat tg Canine "aso") | terms-tg.txt 207-207 | Fox is a subclass of canine |
| consequent |
|
|
| (=> (instance ?B Barking) (exists (?D) (and (instance ?D Canine) (agent ?B ?D)))) |
Mid-level-ontology.kif 24153-24158 |
|
|
|