No TPTP formula. May not be expressible in strict first order.	Cars.kif 3155-3165	If an object is an instance of ignition coil and a process is an instance of electric transmission and another object is a resource for the process and the other object is an instance of electricity and an entity is an instance of electricity and the entity is a result of the process and the object is an instrument for the process and the measure of the other object is a real number volt(s), then the approximate value of the real number is 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4105-4117	If an object is an instance of InvasiveVentilator and a process is an instance of breathing and an agent experiences the process and the object is an instrument for the process, then there exists another process such that the other process is an instance of Intubation and the other process ends up at the agent 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.	Economy.kif 6000-6011	If an agent is an instance of lathe and an entity is an instance of object and the agent is an instrument for a process and the entity is a patient of the process, then there exists another process such that the other process is an instance of rotating and the process is a subprocess of the other process and the entity is a patient of the other process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1420-1427	If an object is an instance of animal language and an agent is an agent of a process and the object is an instrument for the process, then the agent is an instance of animal and the agent is not an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1439-1444	If an object is an instance of computer language and an agent is an agent of a process and the object is an instrument for the process, then the agent is an instance of machine
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1453-1458	If an object is an instance of human language and an agent is an agent of a process and the object is an instrument for the process, then the agent is an instance of human
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2182-2190	If an object is an instance of air cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that the other object is an instance of air and the object transferred in the transfer is the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2166-2174	If an object is an instance of water cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that liquid is an attribute of the other object and the object transferred in the transfer is the other object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1260-1269	If a process is an instance of measuring and an object is an instrument for the process and a cognitive agent is an agent of the process and an entity is a patient of the process and the object is an instance of pulse oximeter, then there exists another entity such that the cognitive agent knows the oxygen saturation of the entity is the other entity percent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1589-1597	If a process is an instance of measuring and an object is an instrument for the process and the object is an instance of Reverse transcription polymerase chain reaction, then there exists another process such that the other process is an instance of radiating light and the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2886-2892	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of clock, then the entity is an instance of time measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2922-2928	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of thermometer, then the entity is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10404-10410	If an object is an instance of muscle and a process is an instance of body motion and the object is an instrument for the process and the process is an instance of intentional process, then the object is an instance of voluntary muscle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1441-1451	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of absolute altimeter, then there exists the physical2 such that the altitude of the physical is the physical2 and the physical2 is a surface of planet earth
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1477-1484	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the altitude of the physical is sea level
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1488-1496	If a process is an instance of measuring and a self connected object is a patient of the process and the self connected object is a surface of planet earth and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the length measure is an elevation of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1426-1432	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of altimeter, then the entity is an instance of altitude measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2910-2916	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of thermometer, then the entity is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 577-586	If an engineering component is an instance of cable modem and a process is an instance of communication and the engineering component is an instrument for the process, then there exists another engineering component such that the other engineering component is an instance of cable and the other engineering component is an instrument for the process and the other engineering component is connected to the engineering component
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 801-807	If an object is an instance of crude oil pipeline and a process is an instance of motion and the object is an instrument for the process and an entity is a patient of the process, then the entity is an instance of petroleum
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 813-819	If an object is an instance of natural gas pipeline and a process is an instance of motion and the object is an instrument for the process and an entity is a patient of the process, then the entity is an instance of natural gas
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 826-832	If an object is an instance of petroleum product pipeline and a process is an instance of motion and the object is an instrument for the process and an entity is a patient of the process, then the entity is an instance of petroleum product
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 777-783	If an object is an instance of pipeline and a process is an instance of motion and the object is an instrument for the process and an entity is a patient of the process, then the entity is an instance of the class corresponding to fluid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12335-12341	If a process is an instance of poking and an agent is an agent of the process and an entity is a patient of the process and an object is an instrument for the process, then the object connects the agent and the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1940-1953	If a process is an instance of collection of transactions and another process is an instance of buying and a third process is an instance of buying and the other process is a subprocess of the process and the third process is a subprocess of the process and an agent is an agent of the process and an object is an instrument for the process, then the agent is an agent of the other process and the agent is an agent of the third process and the object is an instrument for the other process and the object is an instrument for the third 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