No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19348-19354	If surprise is an attribute of an entity holds during a time position, then there exist another time position and another entity such that the other time position is a part of before the time position and the entity expects the other entity will be true holds during the other time position and the other entity is false holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8673-8684	If drunk is an attribute of an entity holds during a time position, then there exists another time position such that the other time position is a part of before the time position and there exist another entity and a third entity such that the other entity is an instance of drinking and the third entity is a patient of the other entity and the third entity is an instance of alcoholic beverage and the entity is an agent of the other entity holds during the other time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9018-9024	If an object is an instance of military front holds during a time position, then there exists a process such that the process is an instance of battle and the process is located at the object and the time position is a part of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14921-14927	If an entity is an instance of anatomical structure, then there exist a physical and a time position such that the physical is an instance of organism and the time position is a part of the time of existence of the physical and the entity is a part of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22334-22346	If a physical is an instance of convoy, then there exist an entity, another entity and a time position such that the entity is not equal to the other entity and the entity is an instance of vehicle and the other entity is an instance of vehicle and the time position is an instance of time interval and the time position is a part of the time of existence of the physical and the entity is a member of the physical and the other entity is a member of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17323-17345	If a process is an instance of disappearing, then there exist an entity, an agent,, , another process and a time position such that the other process is an instance of searching and the time of existence of the process happens earlier than the time of existence of the other process and the agent is an agent of the other process and the entity is an instance of object and the entity is a patient of the process and the entity is a patient of the other process and the time position is an instance of time interval and the time position is a part of the time of existence of the other process and the statement there exists the processISC such that the processISC is an instance of discovering and the agent is an agent of the processISC and the entity is a patient of the processISC doesn't have the modal force of possibility holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7947-7952	If a time position is an instance of time interval, then there exists another time position such that the other time position is an instance of time point and the other time position is a part of the time position
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1340-1350	If a physical is an instance of olympic games, then there exists a time position such that the time position is an instance of winter season and the time of existence of the physical is a part of the time position or there exists another time position such that the other time position is an instance of summer season and the time of existence of the physical is a part of the other time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14955-14961	If an entity is an instance of body part, then there exist a physical and a time position such that the physical is an instance of organism and the time position is a part of the time of existence of the physical and the entity is a component of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7940-7945	If a time position is an instance of time point, then there exists another time position such that the other time position is an instance of time interval and the time position is a part of the other time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9408-9418	If a physical is an instance of scar, then there exist a time position, a process and an entity such that the time position is a part of before the time of existence of the physical and the entity is an instance of lesion holds during the time position and the process is an instance of organ or tissue process and the entity is a patient of the process and the physical is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8345-8352	If a time interval meets another time interval, then there doesn't exist a time position such that the time position is an instance of time interval and the time position is a part of the time interval and the time position is a part of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8234-8240	If a time interval overlaps another time interval, then there exists a time position such that the time position is an instance of time interval and the time position is a part of the other time interval and the time position is a part of the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8290-8296	If a time interval overlaps another time interval, then there exists a time position such that the time position is an instance of time position and the time position is a part of the other time interval and the time position is a part of the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10107-10109	If a process is a subprocess of another process, then the time of existence of the process is a part of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7974-7977	If a physical exists during a time position, then the time position is a part of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1445-1451	If a a kind of process is typically a part of a another kind of process, then there exist a time position and another time position such that the time position is an instance of another kind of process and the other time position is an instance of a kind of process and the other time position is a part of the time position
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1485-1491	If a a kind of process typically contains a another kind of process, then there exist a time position and another time position such that the time position is an instance of a kind of process and the other time position is an instance of another kind of process and the other time position is a part of the time position

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