DomesticAnimal - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DomesticAnimal

DomesticAnimal(domestic animal)

breed, farm_animal, head, livestock, pet, stock, strain

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21605-21605	Domestic animal is disjoint from human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21606-21607	Domestic animal is disjoint from human
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 948-948	Domestic animal is disjoint from human
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 49-49	Domestic animal is disjoint from human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21604-21604	Domestic animal is a subclass of animal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21810-21810	Cattle is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21699-21699	Domestic cat is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21711-21711	Domestic dog is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32520-32520	Ferret is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32538-32538	Guinea pig is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32550-32550	Hamster is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5227-5227	Livestock is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21777-21777	Mule is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21796-21796	Sheep is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20133-20133	Sheep is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20132-20132	Sheep is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20131-20131	Sheep is a subclass of domestic animal

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 21609-21616

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 2588-2597	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 2523-2539	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 2572-2581	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1992-2004	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21639-21647	If fodder is an attribute of an object, then the object 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 object is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21628-21637	If fodder is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of organic object and the object is an instance of food for domestic animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5149-5158	If forage crop is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of agriculture and the object is a result of the entity and the object is an instance of plant and the object is an instance of food for domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32315-32318	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 27015-27023	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

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