| appearance as argument number 1 |
|
|
| (subclass Canine Carnivore) | Merge.kif 14786-14786 | Canine is a subclass of carnivore |
| (disjoint Canine Feline) | Merge.kif 14787-14787 | Canine is disjoint from feline |
| (documentation Canine EnglishLanguage "The Class of Carnivores with completely separable toes, nonretractable claws, and long muzzles.") | Merge.kif 14788-14789 | 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 |
| (externalImage Canine "http://upload.wikimedia.org/wikipedia/commons/5/5b/ German_Pinscher.JPG") | pictureList.kif 79-79 | Canine is disjoint from feline |
| appearance as argument number 2 |
|
|
| (subclass DomesticDog Canine) | Mid-level-ontology.kif 22396-22396 | Domestic dog is a subclass of canine |
| (subclass Fox Canine) | Mid-level-ontology.kif 22434-22434 | Fox is a subclass of canine |
| (termFormat EnglishLanguage Canine "canine") | english_format.kif 1197-1197 | Fox is a subclass of canine |
| consequent |
|
|
| (=> (instance ?B Barking) (exists (?D) (and (instance ?D Canine) (agent ?B ?D)))) |
Mid-level-ontology.kif 26248-26253 | If X is an instance of barking, then there exists Y such that Y is an instance of canine and Y is an agent of X |
|
|
|