DomesticAnimal - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint DomesticAnimal Human)	Mid-level-ontology.kif 19799-19799	Domestic animal is disjoint from human
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.")	Mid-level-ontology.kif 19800-19801
(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 19798-19798	Domestic animal is a subclass of animal

appearance as argument number 2

(subclass Cow DomesticAnimal)	Mid-level-ontology.kif 19958-19958	Cow is a subclass of domestic animal
(subclass DomesticCat DomesticAnimal)	Mid-level-ontology.kif 19847-19847	Domestic cat is a subclass of domestic animal
(subclass DomesticDog DomesticAnimal)	Mid-level-ontology.kif 19859-19859	Domestic dog is a subclass of domestic animal
(subclass Ferret DomesticAnimal)	Mid-level-ontology.kif 30501-30501	Ferret is a subclass of domestic animal
(subclass GuineaPig DomesticAnimal)	Mid-level-ontology.kif 30519-30519	Guinea pig is a subclass of domestic animal
(subclass Hamster DomesticAnimal)	Mid-level-ontology.kif 30531-30531	Hamster is a subclass of domestic animal
(subclass Livestock DomesticAnimal)	Economy.kif 4367-4367	Livestock is a subclass of domestic animal
(subclass Mule DomesticAnimal)	Mid-level-ontology.kif 19925-19925	Mule is a subclass of domestic animal
(subclass Sheep DomesticAnimal)	Mid-level-ontology.kif 19944-19944	Sheep is a subclass of domestic animal
(termFormat ChineseLanguage DomesticAnimal "家畜")	domainEnglishFormat.kif 20114-20114
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜")	domainEnglishFormat.kif 20113-20113
(termFormat EnglishLanguage DomesticAnimal "domestic animal")	domainEnglishFormat.kif 20112-20112

antecedent

(=>
    (instance ?ANIMAL DomesticAnimal)
    (exists (?KEEP ?PERSON)
        (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?PERSON)
            (instance ?PERSON Human)
            (patient ?KEEP ?ANIMAL))))

Mid-level-ontology.kif 19803-19810

If an entity is an instance of domestic animal,
then there exist a process and an agent such that the process is an instance of keeping and the agent is an agent of the process and the agent is an instance of human and the entity is a patient of the process

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	If a policy is an instance of no pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for permission
(=> (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	If a policy is an instance of pet policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of domestic animal and the other entity is located at the object has the modal force of prohibition
(=> (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	If a policy is an instance of pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for permission
(=> (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	If an object is an instance of wagon and a process is an instance of transportation and the object is an instrument for the process, then there exists an agent such that the process is an instance of pulling and the agent is an agent of the process and the object is a patient of the process and the agent is an instance of domestic animal or the agent is an instance of vehicle
(=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal)))	Mid-level-ontology.kif 30312-30315	If a kind of organism inhabits a geographic area, then a kind of organism is not a subclass of domestic animal
(=> (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 19817-19825	If a physical is an instance of fodder, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of domestic animal and the other entity is an instance of eating and the entity is an agent of the other entity and the physical is a patient of the other entity
(=> (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 25226-25234	If a physical is an instance of kennel, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of domestic animal and the other entity is an instance of confining and the entity is a patient of the other entity and the other entity is located at the physical

statement

(subclass Fodder
(FoodForFn DomesticAnimal))

Mid-level-ontology.kif 19812-19812

Fodder is a subclass of food for domestic animal

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: