| DomesticAnimal
| |
| appearance as argument number 1 |
|
|
| (disjoint DomesticAnimal Human) | Mid-level-ontology.kif 17806-17806 | |
| (documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") | Mid-level-ontology.kif 17807-17808 | |
| (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 50-50 | |
| (subclass DomesticAnimal Animal) | Mid-level-ontology.kif 17805-17805 |
| appearance as argument number 2 |
|
|
| (subclass Cow DomesticAnimal) | Mid-level-ontology.kif 17968-17968 | |
| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 17856-17856 | |
| (subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 17867-17867 | |
| (subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 28763-28763 | |
| (subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 28781-28781 | |
| (subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 28793-28793 | |
| (subclass Livestock DomesticAnimal) | Economy.kif 4210-4210 | |
| (subclass Mule DomesticAnimal) | Mid-level-ontology.kif 17935-17935 | |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 17954-17954 | |
| (termFormat ChineseLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20122-20122 | |
| (termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20121-20121 | |
| (termFormat EnglishLanguage DomesticAnimal "domestic animal") | domainEnglishFormat.kif 20120-20120 |
| antecedent |
|
|
| (=> (instance ?ANIMAL DomesticAnimal) (exists (?KEEP ?PERSON) (and (instance ?KEEP Keeping) (agent ?KEEP ?PERSON) (instance ?PERSON Human) (patient ?KEEP ?ANIMAL)))) |
Mid-level-ontology.kif 17810-17817 |
| consequent |
|
|
| (=> (and (instance ?POLICY NoPetsPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2524-2533 | |
| (=> (and (instance ?POLICY PetPolicy) (policyLocationCoverage ?POLICY ?LOC)) (or (containsInformation ?POLICY (modalAttribute (exists (?PET1) (and (instance ?PET1 DomesticAnimal) (located ?PET1 ?LOC))) Permission)) (containsInformation ?POLICY (modalAttribute (exists (?PET2) (and (instance ?PET2 DomesticAnimal) (located ?PET2 ?LOC))) Prohibition)))) |
Hotel.kif 2459-2475 | |
| (=> (and (instance ?POLICY PetsAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2508-2517 | |
| (=> (and (instance ?W Wagon) (instance ?T Transportation) (instrument ?T ?W)) (exists (?P) (and (instance ?T Pulling) (agent ?T ?P) (patient ?T ?W) (or (instance ?P DomesticAnimal) (instance ?P Vehicle))))) |
Transportation.kif 1842-1854 | |
| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 28574-28577 | |
| (=> (instance ?FEED Fodder) (hasPurpose ?FEED (exists (?ANIMAL ?EAT) (and (instance ?ANIMAL DomesticAnimal) (instance ?EAT Eating) (agent ?EAT ?ANIMAL) (patient ?EAT ?FEED))))) |
Mid-level-ontology.kif 17823-17831 | |
| (=> (instance ?KENNEL Kennel) (hasPurpose ?KENNEL (exists (?ANIMAL ?CONFINING) (and (instance ?ANIMAL DomesticAnimal) (instance ?CONFINING Confining) (patient ?CONFINING ?ANIMAL) (eventLocated ?CONFINING ?KENNEL))))) |
Mid-level-ontology.kif 23287-23295 |
| statement |
|
|
| (subclass Fodder (FoodForFn DomesticAnimal)) |
Mid-level-ontology.kif 17819-17819 |
|
|
|