No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	If an object is an instance of coffee arabica and the measure of the object is a real number gram(s) and the objectC is an instance of caffeine and the objectC is a part of the object and the measure of the objectC is another real number gram(s) and a third real number is equal to the other real number and the real number, then the third real number is greater than or equal to 0.008 and the third real number is less than or equal to 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	If an object is an instance of coffee robusta and the measure of the object is a real number gram(s) and the objectC is an instance of caffeine and the objectC is a part of the object and the measure of the objectC is another real number gram(s) and a third real number is equal to the other real number and the real number, then the third real number is greater than or equal to 0.017 and the third real number is less than or equal to 0.04
No TPTP formula. May not be expressible in strict first order.	Food.kif 3124-3136	If an object is an instance of cream and the object is a part of another object and the other object is an instance of butter fat and the measure of the other object is a real number gram(s) and a third object is an instance of milk and the third object is a part of a fourth object and the fourth object is an instance of butter fat and the measure of the fourth object is another real number gram(s), then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	If an object is an instance of flat white and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is a part of the substance and the top of the other substance is the self connected object and the self connected object is an instance of bubble and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the third real number is greater than or equal to 1.0 and the third real number is less than or equal to 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1399-1415	If an object is an instance of latte and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is an instance of bubble and the top of the other substance is the self connected object and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.21 and the approximate value of the third real number is 12.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	If an object is an instance of antidiuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and the time interval is not equal to the other time interval and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the real number is greater than the other real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	If an object is an instance of diuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7016-7030	If a process is an instance of deposition and an entity is a patient of the process and the measure of the entity is a real number joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another real number joule(s) holds during immediately after the time of existence of the process, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2811-2830	If an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and an entity is an instance of fuel and another entity is an instance of unit of volume and the other object contains the entity and the measure of the entity is a third entity the other entity(s) and engine flooded is an attribute of the object holds during a time position, then the other object has the purpose there don't exist the entity2 and a fifth entity such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is the fifth entity the other entity(s) and the fifth entity is greater than or equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	If an entity is an instance of engine choke and device on is an attribute of the entity holds during a process and device off is an attribute of the entity holds during another process and a self connected object is an instance of engine cylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at the self connected object and the other process is located at the self connected object and an object is an instance of air and another object is an instance of fuel and the object is a part of the constant quantityIX1 and the other object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fourth object is an instance of air and a fifth object is an instance of fuel and the fourth object is a part of the constant quantityIX2 and the fifth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and an unit of measure is an instance of unit of measure and the measure of the object is the objectM the unit of measure(s) and the measure of the fourth object is the fourth objectM the unit of measure(s) and the measure of the other object is the other objectM the unit of measure(s) and the measure of the fifth object is the fifth objectM the unit of measure(s), then the fourth objectM and the fifth objectM is greater than the objectM and the other objectM
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13953-13966	If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the object is a patient of the process, then there exists another object such that the other object is a part of the object and the real number is greater than the other real number and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas 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.	Food.kif 1207-1216	If a process is an instance of foaming milk and a physical is a patient of the process and the physical is an instance of processed milk and another process is an instance of heating and the other process is a subprocess of the process and the measure of the physical is a real number celsius degree(s), then the approximate value of the real number is 70.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2986-2992	If an entity is an instance of grease and the measure of the entity is 77 fahrenheit degree(s) holds during a time position, then solid is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 519-530	If an object is an instance of human and another object is an instance of rectum and the other object is a part of the object and coreBodyTemp the object and a real number an entity(s) and the measure of the other object is the real number2 the entity(s) holds during a time position, then the approximate value of the real number is the real number2
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5915-5924	If a human is an instance of human adult and the measure of the human is a real number Pounds(s), then the human has the real number2 liter(s) of blood and the real number2 is equal to the real number and 0.07 and 2.33
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2336-2351	If a process is an instance of Graves' disease and an agent experiences the process and the agent is an instance of human and an object is an instance of thyroid hormone and the object is a part of the agent and the measure of the object is a real number an unit of measure(s) and another object is an instance of human and a third object is an instance of thyroid hormone and the third object is a part of the other object and the measure of the third object is another real number the unit of measure(s) and healthy is an attribute of the other object, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2382-2397	If a process is an instance of Hashimoto's thyroiditis and an agent experiences the process and the agent is an instance of human and an object is an instance of thyroid hormone and the object is a part of the agent and the measure of the object is a real number an unit of measure(s) and another object is an instance of human and a third object is an instance of thyroid hormone and the third object is a part of the other object and the measure of the third object is another real number the unit of measure(s) and healthy is an attribute of the other object, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3155-3165	If an object is an instance of ignition coil and a process is an instance of electric transmission and another object is a resource for the process and the other object is an instance of electricity and an entity is an instance of electricity and the entity is a result of the process and the object is an instrument for the process and the measure of the other object is a real number volt(s), then the approximate value of the real number is 12
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8985-8989	If a physical is an instance of ice and the measure of the physical is a real number celsius degree(s), then the real number is less than or equal to 0.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	If an object is an instance of mixture and an unit of measure is an instance of unit of measure and A Mixture containing a real number unit the unit of measure of a substance and another real number unit the unit of measure of another substance and the measure of the object is a third real number the unit of measure(s) and the substance is a part of the object and the other substance is a part of the object and the measure of the substance is the real number the unit of measure(s) and the measure of the other substance is the other real number the unit of measure(s), then the third real number is equal to (the real number and the other real number)
No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	If an object is an instance of one percent milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is equal to 0.01 and the real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	If an object is an instance of semi skimmed milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is greater than or equal to 0.015 and the real number and the real number2 is less than or equal to 0.02 and the real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	If an object is an instance of skimmed milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is greater than or equal to 0.0 and the real number and the real number2 is less than or equal to 0.005 and the real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	If an object is an instance of two percent milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is equal to 0.02 and the real number
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