No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	If a process is an instance of local anesthetizing and the process is located at an object and the object is an instance of body part and the object is a part of another object and the other object is a patient of the process, then pain in the the object is not an attribute of the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 983-992	If a process is an instance of Sedating and an entity is a patient of the process, then conscious is an attribute of the entity and anxiety is not an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17143-17164	If a process is an instance of accelerating 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 other real number is greater than the real number or the fourth real number is greater than the third real number
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4482-4491	If a process is an instance of activating a deactivated account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately before the time of existence of the process and account active is an attribute of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12656-12669	If a process is an instance of shape change and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of shape attribute and 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.	Merge.kif 12616-12629	If a process is an instance of surface change and an object is a patient of the process, then there exist another object and an entity such that the other object is a superficial part of the object 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.	Mid-level-ontology.kif 487-499	If a process is an instance of ambulating and a time interval is equal to the time of existence of the process, then there exist another process and a third process such that the other process is an instance of stepping and the third process is an instance of stepping and the other process is a subprocess of the process and the third process is a subprocess of the process and the time of existence of the other process starts the time interval and the time of existence of the third process finishes the time interval and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1365-1371	If an entity is an instance of internet access point and another entity is an instance of device, then the other entity is a component of internet holds during the time of existence of the other entity is connected to the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12360-12367	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process, then the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is 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 16343-16353	If a process is an instance of becoming drunk and an agent experiences the process, then sober is an attribute of the agent holds during the beginning of the time of existence of the process and drunk is an attribute of the agent 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 18679-18695	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24019-24028	If a process is an instance of birth and the process originates at an object, then there exist an entity and a time interval such that the entity is an instance of zygote and the time interval happens earlier than the time of existence of the process and the entity is located at the object holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	If a process is an instance of bleeding and an agent experiences the process, then there exist an object and another process such that the object is an instance of vein or the object is an instance of artery and the object is a part of the agent and the other process is an instance of damaging and the time of existence of the other process happens earlier than the time of existence of the process and the object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21474-21489	If a process is an instance of blushing and an agent experiences the process, then there exist a time interval, another time interval,, , an entity and another entity such that the entity is an instance of emotional state and the other entity is an instance of emotional state and the entity is not equal to the other entity and the entity is an attribute of the agent holds during the time interval and the other entity is an attribute of the agent holds during the other time interval and the time of existence of the process starts the other time interval and the time of existence of the process finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17386-17397	If a process is an instance of boarding and an agent is an agent of the process and an entity is a patient of the process, then not the agent is onboard the entity holds during the beginning of the time of existence of the process and the agent is onboard 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.	Cars.kif 1252-1267	If a process is an instance of braking and an entity is a patient of the process, then a real number miles per hour(s) is equal to the accelleration another entity of the entity in a third entity in the direction a fourth entity holds during immediately before the time of existence of the process and another real number miles per hour(s) is equal to the accelleration the other entity of the entity in the third entity in the direction the fourth entity holds during immediately after the time of existence of the process and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17427-17439	If a process is an instance of deboarding and an agent is an agent of the process and an entity is a patient of the process, then the agent is onboard the entity holds during the beginning of the time of existence of the process and not the agent is onboard 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.	Food.kif 468-478	If a food is an instance of object and a real number is the temperature at which the food is roasted to, then there exists a process such that the process is an instance of heating and the food is a patient of the process and the measure of the food is the real number celsius degree(s) 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 16363-16373	If a process is an instance of sobering up and an agent experiences the process, then drunk is an attribute of the agent holds during the beginning of the time of existence of the process and sober is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 778-788	If a process is an instance of bodybuilding and an agent is an agent of the process, then there exists another process such that the other process is an instance of weightlifting and the agent is an agent of the other process 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.	Medicine.kif 3179-3194	If a transfer is an instance of breakthrough case and the object transferred in the transfer is an object and the object is an instance of the objectC and an agent experiences the transfer, then there exists the objectAX such that the objectAX is an instance of vaccination and the agent experiences the objectAX and the objectACCINECLASS is a vaccine for the objectC and the objectACCINE is an instance of the objectACCINECLASS and the object transferred in the objectAX is the objectACCINE and the time of existence of the objectAX happens earlier than the time of existence of the transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21395-21403	If a process is an instance of bleeding and an agent experiences the process, then there exists an entity such that the entity is an instance of blood and the entity is a part of the agent holds during the beginning of the time of existence of the process and the entity is not a part of the agent 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 13933-13941	If a process is an instance of boiling 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 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.	Mid-level-ontology.kif 10577-10593	If an object is an instance of body segment and another object is an instance of body segment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2397-2406	If a financial account is an instance of secured bond and a collateral is a secured by of the financial account and an agent possesses the financial account and a process is an instance of financial default and the financial account is a patient of the process, then the agent possesses the collateral holds during immediately after 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