|
|
   DomesticAnimal
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint DomesticAnimal Human) | Mid-level-ontology.kif 20045-20045 | |
| (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 |
| appearance as argument number 2 |
|
|
| (subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 20220-20220 | |
| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 20109-20109 | |
| (subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 20121-20121 | |
| (subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 30610-30610 | |
| (subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 30628-30628 | |
| (subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 30640-30640 | |
| (subclass Livestock DomesticAnimal) | Economy.kif 4887-4887 | |
| (subclass Mule DomesticAnimal) | Mid-level-ontology.kif 20187-20187 | |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 20206-20206 | |
| (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 |
|
|
| (=> (and (instance ?POLICY NoPetsPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2577-2586 | |
| (=> (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 2512-2528 | |
| (=> (and (instance ?POLICY PetsAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2561-2570 | |
| (=> (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 1852-1864 | |
| (=> (attribute ?FEED Fodder) (hasPurpose ?FEED (exists (?ANIMAL ?EAT) (and (instance ?ANIMAL DomesticAnimal) (instance ?EAT Eating) (agent ?EAT ?ANIMAL) (patient ?EAT ?FEED))))) |
Mid-level-ontology.kif 20079-20087 | |
| (=> (attribute ?X Fodder) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X OrganicObject) (instance ?X (FoodForFn DomesticAnimal)))))) |
Mid-level-ontology.kif 20068-20077 | |
| (=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal)))))) |
Economy.kif 4809-4818 | |
| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 30421-30424 | |
| (=> (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 25410-25418 |
|
|
|
