No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19347-19353	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 8672-8683	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 9017-9023	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 14943-14949	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 22333-22345	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 17322-17344	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 7969-7974	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 1341-1351	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 14977-14983	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 7962-7967	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 9407-9417	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 8367-8374	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 8256-8262	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 8312-8318	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 10129-10131	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 7996-7999	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