No TPTP formula. May not be expressible in strict first order.	Transportation.kif 694-702	If a real number an unit of measure(s) is a total pipeline in area of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of pipeline and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5968-5982	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and an entity has the real number2 the unit of measure(s) of blood holds during a time position and the entity is an instance of a kind of mammal and the real number2 and 2.0 is greater than the real number and the real number2 is less than 0.8 and the real number, then severe blood loss is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 799-817	If a list is the list of items viewed by an agent and a process is an instance of accessing web page and another process is an instance of accessing web page and the agent is an agent of the process and the agent is an agent of the other process and a positive integer is an instance of positive integer and another positive integer is an instance of positive integer and the positive integerth element of the list is equal to the process and the other positive integerth element of the list is equal to the other process and the positive integer is greater than the other positive integer, then 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.	ComputingBrands.kif 3629-3642	If maximum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3657-3670	If maximum device storage temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10469-10479	If the systolic blood pressure of an entity is another entity mm mercury(s) and the diastolic blood pressure of the entity is a third entity mm mercury(s) and 90.0 is greater than the other entity and 60.0 is greater than the third entity holds during a time position, then hypotension is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10451-10461	If the systolic blood pressure of an entity is another entity mm mercury(s) and the diastolic blood pressure of the entity is a third entity mm mercury(s) and the other entity is greater than 140.0 and the third entity is greater than 90.0 holds during a time position, then hypertension is an attribute of the entity holds during 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