| DomesticAnimal
| |
| appearance as argument number 1 |
|
|
| (disjoint DomesticAnimal Human) | Mid-level-ontology.kif 21605-21605 | |
| (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 | |
| (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 21604-21604 |
| appearance as argument number 2 |
|
|
| (subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 21810-21810 | |
| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 21699-21699 | |
| (subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 21711-21711 | |
| (subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 32522-32522 | |
| (subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 32540-32540 | |
| (subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 32552-32552 | |
| (subclass Livestock DomesticAnimal) | Economy.kif 5227-5227 | |
| (subclass Mule DomesticAnimal) | Mid-level-ontology.kif 21777-21777 | |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 21796-21796 | |
| (termFormat ChineseLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20133-20133 | |
| (termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20132-20132 | |
| (termFormat EnglishLanguage DomesticAnimal "domestic animal") | domainEnglishFormat.kif 20131-20131 |
| 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 |
|
|
| (=> (and (instance ?POLICY NoPetsPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2588-2597 | |
| (=> (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 2523-2539 | |
| (=> (and (instance ?POLICY PetsAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2572-2581 | |
| (=> (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 21639-21647 | |
| (=> (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 21628-21637 | |
| (=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal)))))) |
Economy.kif 5149-5158 | |
| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 32317-32320 | |
| (=> (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 27017-27025 |
|
|
|