| DomesticAnimal
| |
| appearance as argument number 1 |
|
|
| (disjoint DomesticAnimal Human) | Mid-level-ontology.kif 20276-20276 | |
| (documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") | Mid-level-ontology.kif 20277-20278 | |
| (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 20275-20275 |
| appearance as argument number 2 |
|
|
| (subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 20451-20451 | |
| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 20340-20340 | |
| (subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 20352-20352 | |
| (subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 30843-30843 | |
| (subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 30861-30861 | |
| (subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 30873-30873 | |
| (subclass Livestock DomesticAnimal) | Economy.kif 5002-5002 | |
| (subclass Mule DomesticAnimal) | Mid-level-ontology.kif 20418-20418 | |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 20437-20437 | |
| (termFormat ChineseLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20135-20135 | |
| (termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20134-20134 | |
| (termFormat EnglishLanguage DomesticAnimal "domestic animal") | domainEnglishFormat.kif 20133-20133 |
| antecedent |
|
|
| (=> (instance ?ANIMAL DomesticAnimal) (exists (?KEEP ?PERSON) (and (instance ?KEEP Keeping) (agent ?KEEP ?PERSON) (instance ?PERSON Human) (patient ?KEEP ?ANIMAL)))) |
Mid-level-ontology.kif 20280-20287 |
| 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 20310-20318 | |
| (=> (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 20299-20308 | |
| (=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal)))))) |
Economy.kif 4924-4933 | |
| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 30654-30657 | |
| (=> (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 25641-25649 |
|
|
|