DomesticAnimal![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjoint DomesticAnimal Human) | Mid-level-ontology.kif 21605-21605 | DomesticAnimal est disjoint de humain |
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") | Mid-level-ontology.kif 21606-21607 | DomesticAnimal est disjoint de humain |
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg") | pictureList.kif 948-948 | DomesticAnimal est disjoint de humain |
(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 | DomesticAnimal est disjoint de humain |
(subclass DomesticAnimal Animal) | Mid-level-ontology.kif 21604-21604 | DomesticAnimal est une sous-classe de animal |
appearance as argument number 2 |
![]() |
(subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 21810-21810 | Cattle est une sous-classe de DomesticAnimal |
(subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 21699-21699 | DomesticCat est une sous-classe de DomesticAnimal |
(subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 21711-21711 | DomesticDog est une sous-classe de DomesticAnimal |
(subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 32520-32520 | Ferret est une sous-classe de DomesticAnimal |
(subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 32538-32538 | GuineaPig est une sous-classe de DomesticAnimal |
(subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 32550-32550 | Hamster est une sous-classe de DomesticAnimal |
(subclass Livestock DomesticAnimal) | Economy.kif 5227-5227 | Livestock est une sous-classe de DomesticAnimal |
(subclass Mule DomesticAnimal) | Mid-level-ontology.kif 21777-21777 | Mule est une sous-classe de DomesticAnimal |
(subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 21796-21796 | Sheep est une sous-classe de DomesticAnimal |
(termFormat ChineseLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20133-20133 | Sheep est une sous-classe de DomesticAnimal |
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20132-20132 | Sheep est une sous-classe de DomesticAnimal |
(termFormat EnglishLanguage DomesticAnimal "domestic animal") | domainEnglishFormat.kif 20131-20131 | Sheep est une sous-classe de DomesticAnimal |
antecedent |
![]() |
(=> (instance ?ANIMAL DomesticAnimal) (exists (?KEEP ?PERSON) (and (instance ?KEEP Keeping) (agent ?KEEP ?PERSON) (instance ?PERSON Human) (patient ?KEEP ?ANIMAL)))) |
Mid-level-ontology.kif 21609-21616 |
|
consequent |
![]() |
![]() |
![]() |