| DomesticAnimal
| |
| appearance as argument number 1 |
|
|
| (disjoint DomesticAnimal Human) | Mid-level-ontology.kif 21612-21612 | |
| (documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") | Mid-level-ontology.kif 21613-21614 | |
| (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 21611-21611 |
| appearance as argument number 2 |
|
|
| (subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 21817-21817 | |
| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 21706-21706 | |
| (subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 21718-21718 | |
| (subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 32266-32266 | |
| (subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 32284-32284 | |
| (subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 32296-32296 | |
| (subclass Livestock DomesticAnimal) | Economy.kif 5222-5222 | |
| (subclass Mule DomesticAnimal) | Mid-level-ontology.kif 21784-21784 | |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 21803-21803 | |
| (termFormat ChineseLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20139-20139 | |
| (termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20138-20138 | |
| (termFormat EnglishLanguage DomesticAnimal "domestic animal") | domainEnglishFormat.kif 20137-20137 |
| antecedent |
|
|
| (=> (instance ?ANIMAL DomesticAnimal) (exists (?KEEP ?PERSON) (and (instance ?KEEP Keeping) (agent ?KEEP ?PERSON) (instance ?PERSON Human) (patient ?KEEP ?ANIMAL)))) |
Mid-level-ontology.kif 21616-21623 |
| 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 1992-2004 | |
| (=> (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 21646-21654 | |
| (=> (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 21635-21644 | |
| (=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal)))))) |
Economy.kif 5144-5153 | |
| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 32061-32064 | |
| (=> (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 27022-27030 |
|
|
|