![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(disjoint DomesticAnimal Human) | Mid-level-ontology.kif 19361-19361 | |
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.") | Mid-level-ontology.kif 19362-19363 | |
(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 49-49 | |
(subclass DomesticAnimal Animal) | Mid-level-ontology.kif 19360-19360 |
appearance as argument number 2 |
![]() |
(subclass Cow DomesticAnimal) | Mid-level-ontology.kif 19520-19520 | |
(subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 19409-19409 | |
(subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 19421-19421 | |
(subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 29984-29984 | |
(subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 30002-30002 | |
(subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 30014-30014 | |
(subclass Livestock DomesticAnimal) | Economy.kif 4363-4363 | |
(subclass Mule DomesticAnimal) | Mid-level-ontology.kif 19487-19487 | |
(subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 19506-19506 | |
(termFormat ChineseLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20115-20115 | |
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜") | domainEnglishFormat.kif 20114-20114 | |
(termFormat EnglishLanguage DomesticAnimal "domestic animal") | domainEnglishFormat.kif 20113-20113 |
antecedent |
![]() |
(=> (instance ?ANIMAL DomesticAnimal) (exists (?KEEP ?PERSON) (and (instance ?KEEP Keeping) (agent ?KEEP ?PERSON) (instance ?PERSON Human) (patient ?KEEP ?ANIMAL)))) |
Mid-level-ontology.kif 19365-19372 |
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 2550-2559 | |
(=> (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 2485-2501 | |
(=> (and (instance ?POLICY PetsAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2534-2543 | |
(=> (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 1860-1872 | |
(=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 29795-29798 | |
(=> (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 19379-19387 | |
(=> (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 24705-24713 |
statement |
![]() |
(subclass Fodder (FoodForFn DomesticAnimal)) |
Mid-level-ontology.kif 19374-19374 |
![]() |
![]() |