Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Canine Carnivore) | Merge.kif 14923-14923 | Canine is a subclass of carnivore |
| (disjoint Canine Feline) | Merge.kif 14924-14924 | Canine is disjoint from feline |
| (documentation Canine EnglishLanguage "The Class of Carnivores with completely separable toes, nonretractable claws, and long muzzles.") | Merge.kif 14925-14926 | 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 22340-22340 | Domestic dog is a subclass of canine |
| (subclass Fox Canine) | Mid-level-ontology.kif 22378-22378 | Fox is a subclass of canine |
| (termFormat EnglishLanguage Canine "canine") | english_format.kif 1201-1201 | Fox is a subclass of canine |
| consequent |
|
|
| (=> (instance ?B Barking) (exists (?D) (and (instance ?D Canine) (agent ?B ?D)))) |
Mid-level-ontology.kif 26150-26155 | 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 |
|
