No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6122-6140	If a process is an instance of sneezing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , the other entityOSE and a fourth entity such that the other entity is an instance of nasal cavity and the other entityOSE is an instance of nose and the other entityOSE is equal to the host of the hole the other entity and the fourth entity is an instance of object and the entity is an instance of removing and the other entityOSE is a part of the agent and the object transferred in the entity is the fourth entity and the fourth entity is located at the other entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3414-3429	If an object is an instance of carbon dioxide and the object is an instance of molecule, then there exist another object, a third object and a fourth object such that the other object is an instance of carbon and the third object is an instance of oxygen and the fourth object is an instance of oxygen and the other object is an instance of atom and the third object is an instance of atom and the fourth object is an instance of atom and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object and the third object is not equal to the fourth object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12930-12941	If an object is an instance of chin and another object is an instance of face and the object is a part of the other object, then for all a third object if the third object is a part of the other object and the third object is not a part of the object, then the third object is below to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12636-12650	If a process is an instance of coloring and an object is a patient of the process, then there exist an entity and another object such that the other object is a part of the object and the entity is an instance of color attribute and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8563-8570	If an object is an instance of organic compound and the object is an instance of molecule, then there exists another object such that the other object is an instance of carbon and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13979-13987	If a process is an instance of condensing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	If an object is an instance of wireless network and a motion is an instance of network communication and the object is an instrument for the motion and another object is path along which the motion occurs, then there exists a third object such that the third object is a part of the other object and the third object is not an instance of cable
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if the other entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	If a process is an instance of deposition and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and solid is an attribute of the other object holds during the end of the time of existence of the process and liquid is an attribute of the other object doesn't hold during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9986-9994	If a process is an instance of edema in a kind of body part and an agent experiences the process, then there exists a kind of body partI such that the kind of body partI is an instance of body part and the kind of body partI is a part of the agent and the process is located at the kind of body partI
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9964-9976	If a process is an instance of swelling and an agent experiences the process, then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and the other object moves during the motion and the motion is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1458-1467	If a collection is an instance of eyebrow and healthy is an attribute of an object and the collection is a part of the object and a physical is a member of the collection, then there exists the objectAIR such that the objectAIR is an instance of hair and the objectAIR is a part of the collection
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1439-1448	If an object is an instance of eyebrow and healthy is an attribute of another object and the object is a part of the other object, then there exists the objectYE such that the objectYE is an instance of eye and the objectYE is a part of the other object and the objectYE is near to the object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	If an object is an instance of eyebrow and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and the object is a part of the other object, then there exists the objectYE such that the objectYE is an instance of eye and the objectYE is a part of the other object and the object is above to the objectYE
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2930-2948	If an engineering component is an instance of governor and another engineering component is an instance of engine and the engineering component is connected to the other engineering component and the maximum speed allowed by the other engineering component is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity, another entity and a third entity such that the other entity is an instance of device and the other entity is a part of the other engineering component and the entity is an instance of rotating and the measure of the other entity is the third entity miles per hour(s) and the third entity is greater than the real number holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1710-1721	If a process is an instance of experiencing a lump in the throat and an agent experiences the process, then there exist another process and an object such that the other process is an instance of perception and the other process is a subprocess of the process and the agent is an agent of the other process and the object is a patient of the other process and the object is an instance of throat and the object is a part of the agent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	If a process is an instance of experiencing discomfort in the stomach and an agent experiences the process, then there exist another process, the other processAIN and an object such that the other process is an instance of perception and the time of existence of the other process takes place during the time of existence of the other processAIN and the other processAIN is an instance of pain and the agent experiences the other processAIN and the other process is a subprocess of the process and the agent is an agent of the other process and the object is a patient of the other process and the object is an instance of stomach and the object is a part of the agent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	If a process is an instance of experiencing heat in cheeks or chest and an agent experiences the process, then there exist another process and an object such that the other process is an instance of perception and the other process is a subprocess of the process and the agent is an agent of the other process and the object is a patient of the other process and the object is an instance of torso or the object is an instance of face and the object is a part of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19943-19951	If a process is an instance of eye motion and an agent is an agent of the process, then there exists an object such that the object is an instance of eyelid and the object is a part of the agent and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13953-13966	If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the object is a patient of the process, then there exists another object such that the other object is a part of the object and the real number is greater than the other real number and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13008-13016	If a process is an instance of facial expression and an agent is an agent of the process, then there exists an object such that the object is a part of the agent and the object is an instance of face and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12901-12908	If an object is an instance of face and the object is a part of a self connected object and another self connected object is equal to the back of the self connected object, then the object is not a part of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12910-12916	If an object is an instance of face and the object is a part of a self connected object and another self connected object is equal to the front of the self connected object, then the object is a part of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3169-3180	If a process is an instance of folding and an object is a patient of the process, then there exist another process, another object and a third object such that the other process is an instance of covering and the other process is a subprocess of the process and the other object is a part of the object and the third object is a part of the object and the other object is an instrument for the other process and the third object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1488-1500	If an object is an instance of forehead and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and a third object is a part of the other object, then there exists the third objectYE such that the third objectYE is an instance of eye and the third objectYE is a part of the other object and the object is above to the third objectYE
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