No TPTP formula. May not be expressible in strict first order.	Merge.kif 12227-12232	If a process is an instance of confining, then there exists an entity such that the entity is an instance of animal and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4433-4442	If a physical is an instance of dish, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of eating and the entity is a patient of the other entity and the physical is a patient of the other entity and the entity is an instance of food for animal and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Military.kif 62-71	If a process is an instance of food distribution operation, then there exist an entity and another entity such that the entity is an instance of food for animal and the other entity is an instance of cognitive agent and the entity is a patient of the process and the process ends up at the other entity and the other entity possesses the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7479-7486	If a collection is an instance of group of animals, then for all a physical if the physical is a member of the collection, then the physical is an instance of animal and the physical is not an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12925-12930	If a process is an instance of hunting, then there exists an entity such that the entity is an instance of animal and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11460-11468	If a process is an instance of injecting, then there exist an object and an entity such that the object is a patient of the process and the object is an instance of biologically active substance and liquid is an attribute of the object and the process ends up at the entity and the entity is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4892-4894	If an entity is an instance of livestock, then the entity is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12674-12679	If an object is an instance of leg, then there exists another object such that the other object is an instance of animal and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1909-1915	If an object is an instance of meat, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14906-14917	If an object is an instance of meat, then for all another object if the other object is a part of the object, then there exist a third object, a time position and an entity such that the third object is a part of the other object and the entity is an instance of animal and the third object is a part of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 924-938	If a physical is an instance of needle, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of animal and the other entity is an instance of TherapeuticProcss and fluid is an attribute of the third entity and the entity is a patient of the other entity and the physical is an instrument for the other entity and the fourth entity is an instance of removing or the fourth entity is an instance of inserting and the fourth entity is a subprocess of the other entity and the object transferred in the fourth entity is the third entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4642-4651	If a process is an instance of transplant, then there exist an entity, an object and a transfer such that the entity is an instance of animal and the object is an instance of organ and the transfer is an instance of putting and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the transfer ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4634-4640	If an entity is an instance of transplant, then there exist a cognitive agent and a physical such that the cognitive agent is an instance of animal and the physical is an instance of organ and the cognitive agent needs the physical
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5013-5024	If an entity is an instance of AnimalProduct, then there exist a process, an object and another object such that the process is an instance of manufacture and the entity is a result of the process and the object is a patient of the process and the object is an instance of animal or the other object is a part of the object and the other object is an instance of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9254-9262	If a physical is an instance of pill, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of ingesting and the entity experiences the other entity and the object transferred in the other entity is the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3519-3532	If a physical is an instance of protective eyewear, then the physical has the purpose there exist the physicalRSON, another entity,, , a third entity and a fourth entity such that the physicalRSON is an instance of animal and the other entity is an instance of face and the third entity is an instance of eye and the third entity is a proper part of the other entity and the other entity is a proper part of the physicalRSON and the physicalRSON wears the physical and the fourth entity is an instance of covering and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10399-10404	If a process is an instance of psychological process, then there exists an agent such that the agent is an instance of animal and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6996-7003	If a physical is an instance of animal residence, then the physical has the purpose there exists an entity such that the entity is an instance of animal and the entity is not an instance of human and the entity lives in the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11661-11666	If an object is an instance of skeleton, then there exists another object such that the other object is an instance of animal and the object is a interior part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10990-10997	If an object is an instance of skin, then there exist a self connected object and another self connected object such that the self connected object is a surface of the other self connected object and the object is a part of the other self connected object and the other self connected object is an instance of animal and the object and the self connected object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9586-9597	If an entity is an instance of plant spinose structure, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of inserting and the entity is an instrument for the other entity and the fourth entity is an instance of animal and the fourth entity is a patient of the other entity and the other entity causes the third entity and the third entity is an instance of pain and the fourth entity experiences the third entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7817-7824	If an agent is an instance of grocery store, then there exist a process and an entity such that the process is an instance of selling and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of food for animal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3566-3590	If a physical is an instance of safety vest, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of human and the entity wears the physical increases likelihood of there exists a third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity and there exists the third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of injuring and the other entity is an agent of the fourth entity and the entity is a patient of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Military.kif 210-218	If an object is an instance of military food truck, then the object is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12447-12456	If a transfer is an instance of topical application, then there exist an object, another object and a third object such that the object is an instance of medicine and the other object is an instance of animal and the third object is an instance of skin and the third object is a part of the other object and the object transferred in the transfer is the object and the object ends up at the third object
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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