No TPTP formula. May not be expressible in strict first order.	Merge.kif 13279-13284	If a process is an instance of naming and an entity is a patient of the process and the process ends up at another entity, then the entity has name the other entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13778-13789	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.	MilitaryProcesses.kif 121-129	If a process is an instance of poststrike reconnaissance and an entity is a patient of the process, then there exists another process such that the other process is an instance of attack and the entity is a patient 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.	UXExperimentalTerms.kif 1929-1938	If a process is an instance of collection of transactions and another process is an instance of buying and a third process is an instance of buying and the other process is a subprocess of the process and the third process is a subprocess of the process, then the time of existence of the other process is equal to the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11427-11434	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.	emotion.kif 1646-1654	If a process is an instance of violence and an agent is an agent of the process, then the statement anger is an attribute of the agent holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	If a financial transaction is an instance of payment and the financial transaction originates at the currency of a financial account and the financial account is an instance of financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the financial account current account balance immediately after the time of existence of the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1952-1959	If a physical is an instance of placing an order and the time of existence of the physical is equal to a time interval, then there exist another physical and another time interval such that the time of existence of the other physical is equal to the other time interval and the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13235-13241	If a process is an instance of questioning and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of formula, then the agent doesn't know 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 19564-19576	If a process is an instance of chemical reduction and an entity is a patient of the process and a real number is an electron number of the entity holds during the beginning of the time of existence of the process, then there exists another real number such that the other real number is greater than the real number and the other real number is an electron number 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 13887-13899	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 6251-6264	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 5778-5797	If a process is an instance of relieving pain and an object is a patient of the process, then there exists a physical such that immediately before the time of existence of the process overlaps the time of existence of the physical and the physical is an instance of pain and the physical is located at the object and there doesn't exist another physical such that immediately after the time of existence of the process overlaps the time of existence of the other physical and the other physical is an instance of pain and the other physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22425-22432	If a process is an instance of renting and an agent is an agent of the process and an entity is a patient of the process, then the statement the agent uses the entity has the modal force of permission holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17444-17455	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.	Media.kif 153-160	If a process is an instance of reaching agreement and an agent is an agent of the process and an entity is a result of the process and the entity is an instance of agreement, then the entity is a party to agreement of the agent holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8271-8278	If an entity is an instance of binary predicate and the entity is an instance of spatial relation and a physical is an instance of physical and another physical is an instance of physical and the entity the physical and the other physical, then the time of existence of the other physical overlaps the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11546-11553	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 12469-12476	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.	Mid-level-ontology.kif 45-56	If a physical is an instance of organism remains and an entity is a part of the physical holds during the time of existence of the physical, then there exists another physical such that the other physical is an instance of organism and the time of existence of the other physical happens earlier than the time of existence of the physical and the time of existence of the physical finishes the time of existence of the other physical and the entity is a part of the other physical holds during the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12185-12194	If a process is an instance of remembering and a formula is a patient of the process, then there exists a time interval such that the formula holds during the time interval and the time interval happens before the time of existence of the process or the time interval happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11406-11413	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 5537-5548	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.	Merge.kif 12251-12259	If a process is an instance of repairing and an entity is a patient of the process, then there exists another process such that the other process is an instance of damaging and the entity is a patient 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.	Dining.kif 1227-1246	If an agent is an instance of restaurant and an object is an instance of dining room and private attribute is an attribute of the object and the agent possesses the object and the agent is a customer of a cognitive agent and a process is an instance of eating and the cognitive agent is an agent of the process and the cognitive agent is an instance of group of people, then the statement there don't exist an entity and another entity such that the agent is a customer of the entity and the cognitive agent is not equal to the entity and the other entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at the object holds during the time of existence of the process has the modal force of likely
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