No TPTP formula. May not be expressible in strict first order.	Geography.kif 4732-4740	If a physical is an instance of iceberg, then there exists a class such that the class is a subclass of glacier and the physical is made of the class holds during immediately before the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10498-10510	If a physical is an instance of coagulation, then there exists an entity such that the entity is an instance of blood and liquid is an attribute of the entity holds during immediately before the time of existence of the physical and solid is an attribute of the entity holds during immediately after the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4263-4282	If a physical is an instance of FMIP, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the other entity is an instance of iPhone and the physical is an instrument for the third entity and the entity is an agent of the third entity and the other entity is a patient of the third entity and the entity doesn't know the other entity is located at the fourth entity holds during immediately before the time of existence of the third entity and the entity knows the other entity is located at the fourth entity holds during immediately after the time of existence of the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3606-3622	If a physical is an instance of inflating, then there exist an object, another object,, , a real number,, , another real number,, , a class and an entity such that the object is an instance of the class and the other object is an instance of the class and the class is an instance of substance and gas is an attribute of the object and gas is an attribute of the other object and the entity is an instance of unit of volume and the measure of the object is the real number the entity(s) holds during immediately before the time of existence of the physical and the measure of the other object is the other real number the entity(s) holds during immediately after the time of existence of the physical and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8504-8506	If a time position is an instance of time interval, then immediately before the time position finishes before the time position
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2103-2118	If an entity is an instance of shrapnel, then there exist an object and a process such that the object is an instance of bomb and the process is an instance of explosion and the object is an instrument for the process and the entity is a part of the object holds during immediately before the time of existence of the process and the entity is not a part of the object holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21904-21917	If a process is an instance of hijacking, then there exist an entity and an agent such that the agent is an agent of the process and the entity is an instance of transportation device and the agent doesn't possess the entity holds during immediately before the time of existence of the process and the agent possesses 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 21960-21975	If a physical is an instance of kidnapping, then there exist an entity, another entity and a third entity such that the entity is an instance of sentient agent and the other entity is an instance of geographic area and the third entity is an instance of geographic area and the other entity is not equal to the third entity and the entity is located at the other entity holds during immediately before the time of existence of the physical and the entity is located at the third entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11339-11350	If the object transferred in a transfer is an object, then there exist another object and an entity such that the transfer originates at the other object and the transfer ends up at the entity and the object is located at the other object holds during immediately before the transfer and the object is located at the entity holds during immediately after the transfer

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