No TPTP formula. May not be expressible in strict first order.	Food.kif 3226-3247	If a process is an instance of curdling milk and a physical is an instance of milk and the physical is a patient of the process, then there exist a real number, another process,, , an entity and another entity such that the measure of the physical is the real number PH value(s) and the other process is an instance of decreasing and the other process is a subprocess of the process and the real number is a patient of the other process and the real number is equal to the entity holds during the beginning of the time of existence of the other process and the real number is equal to the other entity holds during the end of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17112-17117	If a process is an instance of catching and an agent is an agent of the process and an entity is a patient of the process, then the agent grasps the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11656-11666	If a process is an instance of change of possession and the process originates at an object and the process ends up at an entity and the object is an instance of agent and the entity is an instance of agent and another entity is a patient of the process, then the object possesses the other entity holds during the beginning of the time of existence of the process and the entity possesses the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12599-12610	If a process is an instance of internal change and an entity is a patient of the process, then there exists another entity such that the other entity is an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is not an attribute of the entity holds during the end of the time of existence of the process or the other entity is not an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2438-2445	If a process is an instance of closing graphical window and a physical is a patient of the process, then the physical is an instance of interface window and the physical exists during the beginning of the time of existence of another physical and the physical doesn't exist during the end of the time of existence of the other physical
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.	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.	Merge.kif 10961-10974	If a process is an instance of cooling and an entity is a patient of the process, then there exist another entity, a real number and another real number such that the other entity is an instance of temperature measure and the entity the other entity(s) is equal to the real number holds during the beginning of the time of existence of the process and the entity the other entity(s) is equal to the other real number holds during the end of the time of existence of the process and the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2597-2607	If a time interval is an instance of covering GUI element and an entity_TOP is an agent of the time interval and the entity_BOTTOM is a patient of the time interval and the entity_TOP is an instance of GUI element and the entity_BOTTOM is an instance of GUI element, then the entity_BOTTOM is covered by the entity_TOP or the entity_BOTTOM is partially covered by the entity_TOP holds during the end of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2609-2617	If a time interval is an instance of partially covering graphical window and an entity_TOP is an agent of the time interval and the entity_BOTTOM is a patient of the time interval and the entity_TOP is an instance of GUI element and the entity_BOTTOM is an instance of GUI element, then the entity_BOTTOM is partially covered by the entity_TOP holds during the end of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17171-17191	If a process is an instance of decelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number or the third real number is greater than the fourth real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20003-20015	If a process is an instance of dismounting and an agent is an agent of the process and an entity is a patient of the process, then the agent is on to the entity holds during the beginning of the time of existence of the process and the agent is not on to the entity holds during the end of 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.	Weather.kif 2492-2505	If a process is an instance of desertification and the process is located at an object, then there exist an entity and another entity such that the entity is an instance of arable land and the other entity is an instance of desert and the object and the entity overlapsSpatially holds during the beginning of the time of existence of the process and the object and the other entity overlapsSpatially holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12408-12415	If a process is an instance of detaching and an entity is a patient of the process and another entity is a patient of the process, then the entity is connected to the other entity holds during the beginning of the time of existence of the process and the entity is not connected to the other entity 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 5503-5518	If a process is an instance of dressing and an agent is an agent of the process and an entity is a patient of the process, then the entity is an instance of clothing and the agent doesn't wear the entity holds during the beginning of the time of existence of the process and the agent wears the entity 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 18099-18106	If a process is an instance of drilling and an entity is a patient of the process, then there exists another entity such that the other entity is not a hole in the entity holds during the beginning of the time of existence of the process and the other entity is a hole in the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12777-12782	If a process is an instance of drying and an entity is a patient of the process, then dry is an attribute of the entity holds during the end of the time of existence 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.	Economy.kif 2447-2454	If a process is an instance of exporting and an entity is a patient of the process and another entity is an instance of geopolitical area and the process ends up at the other entity, then the entity is located at the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2421-2430	If a process is an instance of exporting and an entity is a patient of the process and another entity is an instance of geopolitical area and the entity is located at the other entity holds during the beginning of the time of existence of the process, then the entity is not located at the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2432-2445	If a process is an instance of exporting and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area 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 17585-17600	If a process is an instance of flooding and the process is located at an object, then there exist a real number, another real number and an entity such that the entity is an instance of unit of length and the real number the entity(s) is a water depth of the object holds during the beginning of the time of existence of the process and the other real number the entity(s) is a water depth of the object holds during the end of the time of existence of the process and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 191-200	If a process is an instance of four stroke compression and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at the object, then pressurized is an attribute of the hole holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10740-10748	If a process is an instance of terminating employment and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent employs the entity holds during the beginning of the time of existence of the process and the agent doesn't employ the entity holds during the end of the time of existence of the process
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