No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8242-8256	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 5567-5571	If a process is an instance of sweeping and an object is an instrument for the process, then the object is an instance of broom
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18149-18183	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.	MilitaryDevices.kif 179-188	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of artillery cannon, then there exists another object such that the other object is an instrument for the process and the other object is an instance of the union of missile and grenade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 597-605	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of grenade launcher, then there exists another object such that the other object is an instrument for the process and the other object is an instance of grenade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 198-206	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of mortar gun, then there exists another object such that the other object is an instrument for the process and the other object is an instance of grenade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 219-228	If a process is an instance of shooting and an object is an instrument for the process and a physical is a patient of the process and the width of the physical is a length measure and the object is an instance of the objectCLASS and the physical is an instance of projectile and another length measure is a caliber of the objectCLASS, then the other length measure is equal to the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13496-13506	If a process is an instance of impairment in another kind of process and an object is an instrument for the process, then there exists the object2 such that the object2 is not equal to the object and the object2 is capable of doing another kind of process as a instrument and the object is not capable of doing the other kind of process as a instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	If a process is an instance of transportation and an object is an instance of wheel and another object is an instance of automobile and the object is a part of the other object and the other object is an instrument for the process and the other objectB is an instance of antilock brake and another process is an instance of decelerating and the other objectB is an instrument for the other process and the other objectB is a part of the object, then the other objectB has the purpose there exists an entity such that the entity is an instance of rotating and the entity takes place during the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15450-15458	If a process is an instance of transportation and an object is an instrument for the process and the object is an instance of pump, then there exists another object such that the other object is an instrument for the process and fluid is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 789-795	If a process is an instance of transportation and an entity is a patient of the process and the entityS is an instrument for the process and the entityS is an instance of sewage system, then the entity is an instance of sewage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23535-23540	If a process is an instance of transportation and an object is an instrument for the process and the object is an instance of road vehicle, then the process is an instance of transport via a road vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23555-23562	If a process is an instance of transportation and the process is a subprocess of another process and the other process is an instance of driving and an object is an instrument for the process and the object is an instance of transportation device, then the object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16014-16020	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process ends up at an entity, then the object is located at the entity holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16006-16012	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process originates at another object, then the object is located at the other object holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11156-11171	If an object is an instance of pulmonary vein and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exist another object, a third object and a fourth object such that the other object is an instance of lung and the process originates at the other object and the object is a part of the fourth object and the other object is a part of the fourth object and the third object is a part of the fourth object and the third object is an instance of heart and the process ends up at the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11124-11134	If an object is an instance of vein and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another entity such that the other entity is an instance of heart and the process ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of accessing web page and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that purchases made in the collection during the time interval is equal to the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1852-1864	If an object is an instance of wagon and a process is an instance of transportation and the object is an instrument for the process, then there exists an agent such that the process is an instance of pulling and the agent is an agent of the process and the object is a patient of the process and the agent is an instance of domestic animal or the agent is an instance of vehicle
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.	WMD.kif 44-49	If an object is an instance of weapon of mass destruction and the object is an instrument for a process and the process is an instance of biochemical attack, then the object is an instance of biochemical weapon
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.	Mid-level-ontology.kif 26287-26303	If an object is an instance of photocopier and the object is an instrument for a process and the process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of two dimensional object and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition, then there exist another content bearing physical and another object such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of two dimensional object and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the proposition and the other content bearing physical is located at the other object and the other object is an instance of printed sheet
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is not located at the entity holds during the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is located at the entity holds during the end of the other time interval
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