No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18249-18255	If a process is an instance of frightening and an agent experiences the process, then anxiety is not an attribute of the agent holds during the beginning of the time of existence of the process and anxiety 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 16465-16477	If a process is an instance of gaining consciousness and an agent experiences the process, then unconscious is an attribute of the agent holds during the beginning of the time of existence of the process and awake 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.	Merge.kif 11509-11516	If a process is an instance of grabbing and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't grasp the entity holds during the beginning of the time of existence of the process and the agent grasps 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 25093-25114	If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization, then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10920-10933	If a process is an instance of heating and an entity is a patient of the process, then there exist another entity, a real number and another real number such that the other entity is an instance of temperature measure and the entity the other entity(s) is equal to the real number holds during the beginning of the time of existence of the process and the entity the other entity(s) is equal to the other real number holds during the end of the time of existence of the process and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10724-10732	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent doesn't employ the entity holds during the beginning of the time of existence of the process and the agent employs 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 11424-11431	If a process is an instance of inserting and an entity is a patient of the process and the process ends up at another entity, then the other entity doesn't contain the entity holds during the beginning of the time of existence of the process and the other entity contains 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 10610-10618	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the entity is not a member of the agent holds during the beginning of the time of existence of the process and the entity is a member 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 10578-10586	If a process is an instance of joining an organization and an entity is an instance of organization and an agent is an agent of the process and the entity is a patient of the process, then the agent is not a member of the entity holds during the beginning of the time of existence of the process and the agent is a member 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 12092-12106	If a process is an instance of judging and an agent is an agent of the process and an entity is a result of the process, then the agent doesn't believe the entity holds during the beginning of the time of existence of the process and the agent believes 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 12305-12311	If a process is an instance of killing and an entity is a patient of the process, then living is an attribute of the entity holds during the beginning of the time of existence of the process and dead is an attribute of the entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24116-24129	If a process is an instance of laying eggs and an agent experiences the process, then there exists an entity such that the entity is an instance of egg and the entity is a patient of the process 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.	Mid-level-ontology.kif 23805-23820	If a process is an instance of lengthening and an entity is a patient of the process, then there exist the process1, the process2 and another entity such that the other entity is an instance of unit of length and the length of the entity is the process1 the other entity(s) holds during the beginning of the time of existence of the process and the length of the entity is the process2 the other entity(s) holds during the end of the time of existence of the process and the process2 is greater than the process1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16484-16494	If a process is an instance of losing consciousness and an agent experiences the process, then awake is an attribute of the agent holds during the beginning of the time of existence of the process and unconscious 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.	Merge.kif 11949-11956	If a process is an instance of learning and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't know the entity holds during the beginning of the time of existence of the process and the agent knows 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 10683-10691	If a process is an instance of firing and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the entity is a member of the agent holds during the beginning of the time of existence of the process and the entity is not a member 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 10651-10659	If a process is an instance of leaving an organization and an entity is an instance of organization and an agent is an agent of the process and the entity is a patient of the process, then the agent is a member of the entity holds during the beginning of the time of existence of the process and the agent is not a member 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 19865-19875	If a process is an instance of lying down 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 prostrate 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.	Weather.kif 1935-1944	If a list is an instance of consecutive time interval list and a time interval is equal to an entity element of the list and another time interval is equal to (a positive integer and 1)th element of the list, then the beginning of the other time interval is equal to the end of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 469-480	If a process is an instance of mounting and an agent is an agent of the process and an entity is a patient of the process, then the agent is not on to the entity holds during the beginning of the time of existence of the process and the agent is on to 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 16305-16324	If a process is an instance of organizational merging and an entity is a patient of the process and another entity is a patient of the process and the entity is not equal to the other entity, then there doesn't exist a third entity such that the entity is a part of the organization the third entity and the other entity is a part of the organization the third entity holds during the beginning of the time of existence of the process and there exists a fourth entity such that the entity is a part of the organization the fourth entity and the other entity is a part of the organization the fourth 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 13912-13920	If a process is an instance of melting 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 solid is an attribute of the other object holds during the beginning of the time of existence of the process and liquid 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 11036-11041	If a motion is an instance of motion and an object moves during the motion and the motion originates at another object, then the object is located at the other object holds during the beginning of the time of existence of the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18059-18067	If a process is an instance of moving and an agent is an agent of the process, then there exist an entity and another entity such that the home of the agent is the entity holds during the beginning of the time of existence of the process and the home of the agent is the other entity holds during the end of the time of existence of the process and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2469-2478	If a process is an instance of maximizing 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 maximized window state holds during the end of the time of existence of the process and not the entity has state GUE maximized window state holds during the beginning of 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