No TPTP formula. May not be expressible in strict first order.	Cars.kif 4301-4314	If an object is an instance of reel and a process is an instance of keeping and another object is an instance of corpuscular object and long and thin is an attribute of the other object and pliable is an attribute of the other object and the object is an instrument for the process and the other object is a patient of the process, then there exists another process such that the other process is an instance of rotating and the object is a patient of the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5847-5859	If a process is an instance of infecting and an agent experiences the process, then there exist a motion, another process and another agent such that the motion is an instance of translocation and the other agent moves during the motion and the other agent is an instance of organism and the other process is an instance of replication and the other agent experiences the other process and the motion is a subprocess of the process and the other process is a subprocess 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.	Mid-level-ontology.kif 13752-13762	If a process is an instance of musical composition and the process expresses the content of another process, then there don't exist an entity and a third process such that the third process is an instance of singing and the entity is a patient of the third process and the entity is an instance of lyrical content and the third process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11558-11567	If a process is an instance of translocation and the process originates at an object, then there exist another object and another process such that the other object is an instance of region and the object is not equal to the other object and the other process is a subprocess of the process and the other process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Media.kif 1807-1817	If a process is an instance of singing and an agent is an agent of the process and the agent is an instance of choir and another agent is a member of the agent holds during the process, then there exists another process such that the other process is an instance of singing and the other process is a subprocess of the process and the other agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Biography.kif 156-169	If a process is an instance of Ordaining and a physical is a patient of the process and the physical is an instance of human and the physical is a member of christianity, then the process has the purpose there exist an entity and another entity such that the entity is an instance of ceremony and the other entity is an instance of appointing and the other entity is a subprocess of the entity and the physical is a patient of the other entity and appointedPosition the other entity, the physical and cleric
No TPTP formula. May not be expressible in strict first order.	Sports.kif 624-634	If a process is an instance of baseball run and an agent is an agent of the process, then there exist another process and an entity such that the other process is an instance of touching and the other process is a subprocess of the process and the agent is an agent of the other process and the entity is a patient of the other process and the entity is an instance of home base
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8243-8257	If a process is an instance of recreation or exercise and the processM is an instrument for the process and the processM is an instance of ergometer and an agent experiences the process and the processOW is an instance of rowing and the processMOT is a subprocess of the process and a class is a subclass of body motion and the processMOT is an instance of the class, then there exists the processOWMOT such that the processOWMOT is an instance of the class and the processOWMOT is a subprocess of the process and the agent is an agent of the processOWMOT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18600-18614	If a process is an instance of robbing and an agent is an agent of the process and the agent2 is a patient of the process, then there exists another process such that the other process is an instance of threatening and the other process is a subprocess of the process and there exists another entity such that the other entity is an instance of attack and the agent is an agent of the other entity and the agent2 is a patient of the other entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 265-273	If a process is an instance of running a race and an agent is an agent of the process, then there exists another process such that the other process is an instance of running and the agent is an agent of the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 713-723	If a process is an instance of reconnaissance by fire and an agent is an agent of the process, then there exist another process and an entity such that the entity is a patient of the process and the other process is a subprocess of the process and the other process is an instance of attack and the agent is an agent of the other process and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13771-13784	If a process is an instance of song and the process expresses the content of another process, then there exist a third process, a fourth process,, , an entity and another entity such that the third process is an instance of making music and the fourth process is an instance of singing and the entity is an instance of lyrical content and the other entity is an instance of musical composition and the other entity is a patient of the third process and the entity is a patient of the fourth process and the third process is a subprocess of the other process and the fourth process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11934-11945	If a process is an instance of stroke and an object is an instance of brain and the process is located at the object, then there exist a physical and another process such that the physical is an instance of nerve cell and the physical is located at the object and the other process is an instance of destruction and the other process is a subprocess of the process and the physical is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	If an object is an instance of saw and a process is an instance of cutting and the object is an instrument for the process and another object is an instance of object and the other object is a patient of the process, then there exist another process, an entity,, , another entity,, , a time interval,, , a time position,, , another time position and a third object such that the other process is an instance of motion and the other process is a subprocess of the process and the third object is an instance of cutting device and the third object is a part of the object and the third object meets the other object and the third object is a patient of the other process and the other time position is an instance of time interval and the other time position is an instance of time interval and the time of existence of the other process is equal to the time interval and the time interval is a part of the time position and the time interval is a part of the other time position and the entity is an instance of directional attribute and the other entity is an instance of directional attribute and if entities in the process the other process are moving the entity holds during the time position, then entities in the process the other process are moving the other entity and the entity is equal to the other entity or the other entity is an opposite direction of the entity and ~{ the entity is equal to the other entity } or ~{ the other entity is an opposite direction of the entity } holds during the other time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18564-18577	If a process is an instance of sharing and an agent is an agent of the process and the process ends up at an entity and an object is a patient of the process, then there exist another process and another object such that the other process is an instance of giving and the other process is a subprocess of the process and the other object is a patient of the other process and the other object is a proper part of the object and the agent is an agent of the other process and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16643-16651	If a proposition is an instance of sports play and a process expresses the content of the proposition, then there exists another process such that the other process is an instance of team sport and the process is an instance of maneuver and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	If a transfer is an instance of needle decompression and an object is a patient of the transfer, then there exist another transfer, another object,, , the other transferN,, , a fourth object,, , a fifth object and a sixth object such that the other transfer is an instance of inserting and the other transfer is a subprocess of the transfer and the object transferred in the other transfer is a seventh object and the other transfer originates at the other object and the other transfer ends up at the other transferN and the seventh object is an instance of needle and fluid is an attribute of the sixth object and the object transferred in the transfer is the sixth object and the sixth object ends up at the other object and the fourth object is an instance of lung and the fifth object is an instance of chest and the fourth object is a part of the object and the fifth object is a part of the object and the transfer originates at the other transferN and the transfer ends up at the other object and the other transferN is between the fourth object and the fifth object and the other object is outside to the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	If a process is an instance of two stroke transfer 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 there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11305-11328	If a process is an instance of translocation and another process is an instance of translocation and the process originates at an object and the other process originates at another object and the process ends up at the other object and the other process ends up at an entity and an agent experiences the process and the agent experiences the other process, then there exists a third process such that the third process is an instance of translocation and the third process originates at the object and the third process ends up at the entity and the process is a subprocess of the third process and the other process is a subprocess of the third process and the agent experiences the third process and the time of existence of the process starts the time of existence of the third process and the time of existence of the other process finishes the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	If a process is an instance of multivariate test and an experimenting is a subprocess of the process and another experimenting is a subprocess of the process and the experimenting is an instance of experimenting and the other experimenting is an instance of experimenting and another process is an instance of process and a third process is an instance of process and the other process is a process in the experimenting and the third process is a process in the other experimenting, then there exists a fourth process such that the fourth process is an instance of process and the other process is a subprocess of the fourth process and the third process is a subprocess of the fourth process and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 641-654	If an object is an instance of high precision weapon and the object is an instrument for a process and an entity is a patient of the process, then the object has the purpose there don't exist another entity and a third entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and the third entity is a patient of the other entity and the entity is not equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 1203-1213	If an object is an instance of wind instrument and a process is an instance of instrumental music and an agent is an agent of 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 exhaling and the agent is an agent of the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	If a process is an instance of dry roasting and an entity is an instance of food and the entity is a patient of the process, then there exist another entity and a third entity such that the other entity is an instance of heating and the third entity is an instance of stirring and the other entity is a subprocess of the process and the third entity is a subprocess of the process and the time of existence of the third entity takes place during the time of existence of the other entity and the entity is a patient of the other entity and the entity is a patient of the third entity and there don't exist a fourth entity and a fifth entity such that the fourth entity is an instance of oil and the fifth entity is an instance of potable water and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process
No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
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