No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2451-2460	If a process is an instance of minimizing graphical window and an entity is a patient of the process and the entity is an instance of interface window, then the entity has state GUE minimized state holds during the end of the time of existence of the process and not the entity has state GUE minimized state holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2389-2398	If a process is an instance of reopening graphical window and an entity is a patient of the process and the entity is an instance of interface window, then the entity has state GUE minimized state holds during the beginning of the time of existence of the process and not the entity has state GUE minimized state 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 17638-17656	If a time interval is an instance of pulling and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then there exist a third entity, a fourth entity and a fifth entity such that the distance between the agentLOC and the other entity is the fifth entity the fourth entity(s) and the distance between the agentLOC and the object is the third entity the fourth entity(s) and the third entity is greater than the fifth entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17616-17634	If a time interval is an instance of pushing and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then there exist a third entity, a fourth entity and a fifth entity such that the distance between the agentLOC and the other entity is the fifth entity the fourth entity(s) and the distance between the agentLOC and the object is the third entity the fourth entity(s) and the third entity is greater than the fifth entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1071-1081	If a process is an instance of turning off device and an entity is a patient of the process, then device on is an attribute of the entity holds during the beginning of the time of existence of the process and device off 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.	Mid-level-ontology.kif 1095-1105	If a process is an instance of turning on device and an entity is a patient of the process, then device off is an attribute of the entity holds during the beginning of the time of existence of the process and device on 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.	Mid-level-ontology.kif 13826-13832	If a process is an instance of passingA bill and an entity is a patient of the process, then legislative bill is an attribute of the entity holds during the beginning of the time of existence of the process and law 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.	Military.kif 32-44	If a proposition is an instance of plan and a physical is an instance of process and the proposition expresses the physical, then there exist the propositionNING and a content bearing physical such that the propositionNING is an instance of planning and the content bearing physical is an instance of content bearing physical and the content bearing physical contains information the proposition and the content bearing physical is a result of the propositionNING and the beginning of the time of existence of the propositionNING happens earlier than the beginning of the time of existence of the physical and the end of the time of existence of the propositionNING happens earlier than the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8420-8428	If a time point is an instance of time point and another time point is an instance of time point and a time interval is an instance of time interval and interval between the time point and the other time point is equal to the time interval, then the beginning of the time interval is equal to the time point and the end of the time interval is equal to the other time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13756-13767	If a process is an instance of state change and an object is a patient of the process, then there exist another object, an entity and another entity such that the other object is a part of the object and the entity is an instance of physical state and the other entity is an instance of physical state and the entity is not equal to the other entity and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the other 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.	Merge.kif 11405-11412	If a process is an instance of putting and the process ends up at an entity and another entity is a patient of the process, then the other entity is not located at the entity holds during the beginning of the time of existence of the process and the other entity is located at 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.	Mid-level-ontology.kif 13888-13900	If a process is an instance of political revolution and an entity is a patient of the process, then there exist another entity and a third entity such that the other entity is equal to the government of the entity holds during the beginning of the time of existence of the process and the third entity is equal to the government of the entity holds during the end of the time of existence of the process and the other entity is not equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6252-6265	If a process is an instance of recovering from illness and an agent experiences the process, then there exists a physical such that the physical is an instance of disease or syndrome and the physical is an attribute of the agent holds during the beginning of the time of existence of the physical and the physical is not an attribute of the agent holds during the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17445-17456	If a process is an instance of rotating and an entity is a patient of the process, then there exists another entity such that the entity is located at the other entity holds during the beginning of the time of existence of the process and 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.	Merge.kif 11524-11531	If a physical is an instance of releasing and an agent is an agent of a process and an entity is a patient of the process, then the agent grasps the entity holds during the beginning of the time of existence of the physical and the agent doesn't grasp the entity holds during the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12447-12454	If a physical is an instance of ungrasping and an agent is an agent of a process and an entity is a patient of the process, then the agent grasps the entity holds during the beginning of the time of existence of the physical and the agent doesn't grasp the entity holds during the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11384-11391	If a process is an instance of removing and the process originates at an object and an entity is a patient of the process, then the entity is located at the object holds during the beginning of the time of existence of the process and the entity is not located at the 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 5538-5549	If a process is an instance of removing clothing and an agent is an agent of the process and an entity is a patient of the process, then the agent wears the entity holds during the beginning of the time of existence of the process and the agent doesn't wear 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.	Mid-level-ontology.kif 23828-23845	If a process is an instance of saving and an object is a patient of the process and an agent is an agent of the process, then there exist a real number, another real number and an entity such that the entity is an instance of unit of currency and value of the object is the real number the entity(s) holds during the beginning of the time of existence of the process and value of the object is the other real number the entity(s) holds during the end of the time of existence of the process and the agent possesses the object and the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17208-17223	If a process is an instance of shortening and an entity is a patient of the process, then there exist a real number, another real number and another entity such that the other entity is an instance of unit of length and the length of the entity is the real number the other entity(s) holds during the beginning of the time of existence of the process and the length of the entity is the other real number the other entity(s) holds during the end of 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 562-572	If a process is an instance of somersaulting and an agent is an agent of the process, then sitting is an attribute of the agent holds during the beginning of the time of existence of the process and sitting 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.	ComputerInput.kif 2203-2210	If a time interval is an instance of selecting active area and an entity is a patient of the time interval and the entity is an instance of GUI active area, then not the entity has state GUE selected state holds during the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19910-19920	If a process is an instance of sitting down and an agent is an agent of the process, then standing is an attribute of the agent holds during the beginning of the time of existence of the process and sitting 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 19927-19937	If a process is an instance of standing up and an agent is an agent of the process, then sitting is an attribute of the agent holds during the beginning of the time of existence of the process and standing 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.	ComputingBrands.kif 3826-3840	If a transfer is an instance of software upgrade and an entity is a patient of the transfer and the entity is an instance of computer, then there exists an object such that the object transferred in the transfer is the object and the object is an instance of computer program and holds during the beginning of the time of existence of the transfer and holds during the end of the time of existence of the transfer
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