DomesticAnimal - Sigma Knowledge base Browser

appearance as argument number 1

s__disjoint(s__DomesticAnimal,s__Human)	Mid-level-ontology.kif 17776-17776	Domestic animal is disjoint from human
s__documentation(s__DomesticAnimal,s__EnglishLanguage,'"Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc."')	Mid-level-ontology.kif 17777-17778
s__externalImage(s__DomesticAnimal,'"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg"')	pictureList.kif 949-949
s__externalImage(s__DomesticAnimal,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2b/ Livestock_7_lamb.jpg/ 200px-Livestock_7_lamb.jpg"')	pictureList-ImageNet.kif 50-50
s__instance(s__Animal,s__SetOrClass) s__instance(s__DomesticAnimal,s__SetOrClass) s__subclass(s__DomesticAnimal,s__Animal)	Mid-level-ontology.kif 17775-17775	Domestic animal is a subclass of animal

appearance as argument number 2

s__instance(s__Cow,s__SetOrClass) s__instance(s__DomesticAnimal,s__SetOrClass) s__subclass(s__Cow,s__DomesticAnimal)	Mid-level-ontology.kif 17938-17938	Cow is a subclass of domestic animal
s__instance(s__DomesticCat,s__SetOrClass) s__subclass(s__DomesticCat,s__DomesticAnimal) s__instance(s__DomesticAnimal,s__SetOrClass)	Mid-level-ontology.kif 17826-17826	Domestic cat is a subclass of domestic animal
s__instance(s__DomesticDog,s__SetOrClass) s__subclass(s__DomesticDog,s__DomesticAnimal) s__instance(s__DomesticAnimal,s__SetOrClass)	Mid-level-ontology.kif 17837-17837	Domestic dog is a subclass of domestic animal
s__subclass(s__Ferret,s__DomesticAnimal) s__instance(s__Ferret,s__SetOrClass) s__instance(s__DomesticAnimal,s__SetOrClass)	Mid-level-ontology.kif 28731-28731	Ferret is a subclass of domestic animal
s__subclass(s__GuineaPig,s__DomesticAnimal) s__instance(s__GuineaPig,s__SetOrClass) s__instance(s__DomesticAnimal,s__SetOrClass)	Mid-level-ontology.kif 28749-28749	Guinea pig is a subclass of domestic animal
s__instance(s__Hamster,s__SetOrClass) s__subclass(s__Hamster,s__DomesticAnimal) s__instance(s__DomesticAnimal,s__SetOrClass)	Mid-level-ontology.kif 28761-28761	Hamster is a subclass of domestic animal
s__instance(s__Livestock,s__SetOrClass) s__subclass(s__Livestock,s__DomesticAnimal) s__instance(s__DomesticAnimal,s__SetOrClass)	Economy.kif 4210-4210	Livestock is a subclass of domestic animal
s__instance(s__Mule,s__SetOrClass) s__instance(s__DomesticAnimal,s__SetOrClass) s__subclass(s__Mule,s__DomesticAnimal)	Mid-level-ontology.kif 17905-17905	Mule is a subclass of domestic animal
s__subclass(s__Sheep,s__DomesticAnimal) s__instance(s__DomesticAnimal,s__SetOrClass) s__instance(s__Sheep,s__SetOrClass)	Mid-level-ontology.kif 17924-17924	Sheep is a subclass of domestic animal
s__termFormat(s__ChineseLanguage,s__DomesticAnimal,'"家畜"')	domainEnglishFormat.kif 20047-20047
s__termFormat(s__ChineseTraditionalLanguage,s__DomesticAnimal,'"家畜"')	domainEnglishFormat.kif 20046-20046
s__termFormat(s__EnglishLanguage,s__DomesticAnimal,'"domestic animal"')	domainEnglishFormat.kif 20045-20045

antecedent

( ! [V__ANIMAL] :
   (s__instance(V__ANIMAL,s__DomesticAnimal) =>
     ( ? [V__KEEP, V__PERSON] :
       ((s__instance(V__KEEP,s__Keeping) &
           s__agent(V__KEEP,V__PERSON)
         &
         s__instance(V__PERSON,s__Human) &
         s__patient(V__KEEP,V__ANIMAL))))
)
)

Mid-level-ontology.kif 17780-17787

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

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2523-2532	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2458-2474	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2507-2516	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
( ! [V__T,V__W] : ((s__instance(V__W,s__Wagon) & s__instance(V__T,s__Transportation) & s__instrument(V__T,V__W)) => ( ? [V__P] : ((s__instance(V__T,s__Pulling) & s__agent(V__T,V__P) & s__patient(V__T,V__W) & (s__instance(V__P,s__DomesticAnimal) \| s__instance(V__P,s__Vehicle))))) ) )	Transportation.kif 1842-1854	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
( ! [V__O,V__L] : ((s__subclass(V__O,s__Organism) & s__instance(V__O,s__SetOrClass) & s__instance(V__L,s__GeographicArea)) => s__habitatOfOrganism(V__O,V__L) => ~(s__subclass(V__O,s__DomesticAnimal)) ) )	Mid-level-ontology.kif 28542-28545	If a kind of organism inhabits a geographic area, then a kind of organism is not a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17793-17801	If a physical is an instance of fodder, then the physical 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23256-23264	If a physical is an instance of kennel, then the physical 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 2

statement

s__instance(s__Fodder,s__SetOrClass)

s__subclass(s__Fodder,s__FoodForFn(s__DomesticAnimal))

Mid-level-ontology.kif 17789-17789

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: