No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18098-18105	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 12799-12804	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.	Media.kif 690-700	If a process is an instance of data saving and an object is a resource for the process and the object is an instance of electronic data storage device, then there exists another object such that the other object is an instance of electric device and the other object is an instrument for the process and the object is connected to the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2596-2604	If a process is an instance of dust storm and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object has the modal force of likely holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3234-3250	If a process is an instance of downtick and a physical is a patient of the process and the time of existence of the process is equal to an agent and an unit of measure is an instance of unit of currency and the physical is price a real number the unit of measure(s) for the agent, then there exist another process, another agent and another real number such that the other process is an instance of stock market transaction and the physical is a patient of the other process and the time of existence of the other process is equal to the other agent and the other agent meets the agent and the physical is price the other real number the unit of measure(s) for the other agent and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16689-16701	If a process is an instance of matriculation and an agent is an agent of the process and an entity is a patient of the process and the agent is an instance of college, then there exist another process and another agent such that the other process is an instance of graduation and the other agent is an agent of the other process and the entity is a patient of the other process and the other agent is an instance of secondary school and the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1904-1923	If a process is an instance of engine cycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at the object and an entity is an instance of unit of volume and the maximum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1874-1893	If a process is an instance of engine cycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at the object and an entity is an instance of unit of volume and the minimum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1949-1971	If a process is an instance of engine cycle and an engine is an instance of internal combustion engine and an object is an instance of piston and an unit of measure is an instance of unit of length and the object is a part of the engine and the object is a patient of the process and the process is located at the engine and the maximum distance that the pistons of engine the engine travel is a real number the unit of measure(s), then there don't exist a time interval, another time interval,, , a physical,, , another physical and another real number such that the time interval takes place during the time of existence of the process and the other time interval takes place during the time of existence of the process and the object is located at the physical holds during the time interval and the object is located at the other physical holds during the other time interval and the distance between the physical and the other physical is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	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.	Cars.kif 2963-2979	If an engineering component is an instance of governor and another engineering component is an instance of vehicle and the engineering component is connected to the other engineering component and the maximum speed allowed by a governor is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity and another entity such that the entity is an instance of translocation and the measure of the other engineering component is the other entity miles per hour(s) and the other 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 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.	Mid-level-ontology.kif 16670-16682	If a process is an instance of matriculation and an agent is an agent of the process and an entity is a patient of the process and the agent is an instance of college, then there exist another process and another agent such that the other process is an instance of graduation and the other agent is an agent of the other process and the entity is a patient of the other process and the other agent is an instance of high school and the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17280-17288	If a process is an instance of escaping and an agent is an agent of the process, then there exists another process such that the other process is an instance of confining and the agent is a patient of the other process and the time of existence of the other process meets the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 133-140	If a process is an instance of evacuating and an agent is an agent of the process and the agent is an instance of military organization and another agent experiences the process, then evacuee is an attribute of the other agent holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2516-2530	If a process is an instance of evacuating and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and the geographic area is a geographic subregion of the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes dangerous is an attribute of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13975-13988	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.	UXExperimentalTerms.kif 3095-3114	If an experimenting is an instance of experimenting and a time interval is an instance of time interval, then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting during the time interval
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 2412-2419	If a process is an instance of exporting and an entity is a patient of the process and an object is an instance of geopolitical area and the process originates at the object, then the entity is located at the object holds during the beginning 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.	ComputingBrands.kif 4517-4532	If a process is an instance of failure fn a kind of intentional process and a cognitive agent is an agent of the process, then the cognitive agent desires there exists another process such that the other process is an instance of a kind of intentional process and the cognitive agent is an agent of the other process and there doesn't exist the other process such that the other process is an instance of the kind of intentional process and the time of existence of the other process takes place during the time of existence of the process and the cognitive agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 939-952	If an object is an instance of faucet and a process is an instance of liquid motion and an entity is a patient of the process and the process is located at the object, then there doesn't exist another entity such that the other entity is an instance of tube and the other entity contains 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 10633-10644	If a motion is an instance of flexion and an agent is an agent of the motion and an object moves during the motion, then there doesn't exist another motion such that the other motion is an instance of extension and the time of existence of the other motion is equal to the time of existence of the motion and the agent is an agent of the other motion and the object moves during the other motion
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