DomesticAnimal(domestic animal)![]() ![]() | ![]() | breed, farm_animal, head, livestock, pet, stock, strain |
appearance as argument number 1 |
![]() |
(disjoint DomesticAnimal Human) | Mid-level-ontology.kif 19341-19341 | Domestic animal is disjoint from human |
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") | Mid-level-ontology.kif 19342-19343 | |
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg") | pictureList.kif 949-949 | |
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2b/ Livestock_7_lamb.jpg/ 200px-Livestock_7_lamb.jpg") | pictureList-ImageNet.kif 49-49 | |
(subclass DomesticAnimal Animal) | Mid-level-ontology.kif 19340-19340 | Domestic animal is a subclass of animal |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?ANIMAL DomesticAnimal) (exists (?KEEP ?PERSON) (and (instance ?KEEP Keeping) (agent ?KEEP ?PERSON) (instance ?PERSON Human) (patient ?KEEP ?ANIMAL)))) |
Mid-level-ontology.kif 19345-19352 |
|
consequent |
![]() |
statement |
![]() |
(subclass Fodder (FoodForFn DomesticAnimal)) |
Mid-level-ontology.kif 19354-19354 | Fodder is a subclass of food for domestic animal |
![]() |
![]() |