DomesticAnimal
|
|
appearance as argument number 1 |
(disjoint DomesticAnimal Human) | Mid-level-ontology.kif 20045-20045 | DomesticAnimal e' disjunto de Humano |
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") | Mid-level-ontology.kif 20046-20047 | |
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg") | pictureList.kif 948-948 | |
(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 20044-20044 | DomesticAnimal e' uma sub-classe de Animal |
appearance as argument number 2 |
(subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 20220-20220 | Cattle e' uma sub-classe de DomesticAnimal |
(subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 20109-20109 | DomesticCat e' uma sub-classe de DomesticAnimal |
(subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 20121-20121 | DomesticDog e' uma sub-classe de DomesticAnimal |
(subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 30610-30610 | Ferret e' uma sub-classe de DomesticAnimal |
(subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 30628-30628 | GuineaPig e' uma sub-classe de DomesticAnimal |
(subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 30640-30640 | Hamster e' uma sub-classe de DomesticAnimal |
(subclass Livestock DomesticAnimal) | Economy.kif 4887-4887 | Livestock e' uma sub-classe de DomesticAnimal |
(subclass Mule DomesticAnimal) | Mid-level-ontology.kif 20187-20187 | Mule e' uma sub-classe de DomesticAnimal |
(subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 20206-20206 | Sheep e' uma sub-classe de DomesticAnimal |
(termFormat ChineseLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20124-20124 | |
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20123-20123 | |
(termFormat EnglishLanguage DomesticAnimal "domestic animal") | domainEnglishFormat.kif 20122-20122 |
antecedent |
(=> (instance ?ANIMAL DomesticAnimal) (exists (?KEEP ?PERSON) (and (instance ?KEEP Keeping) (agent ?KEEP ?PERSON) (instance ?PERSON Human) (patient ?KEEP ?ANIMAL)))) |
Mid-level-ontology.kif 20049-20056 |
|
consequent |