UnitOfVolume - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2413-2414
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6310-6312
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1100-1101
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6308-6308	Unit of volume is a subclass of composite unit of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14996-14996	Cubic foot is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7278-7278	Cup is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3095-3095	Feu is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15048-15048	Liquor shot is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6794-6794	Liter is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7287-7287	Ounce is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7269-7269	Pint is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7260-7260	Quart is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15033-15033	Registry ton is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3070-3070	Teu is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7296-7296	United kingdom gallon is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7250-7250	United states gallon is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65656-65656	United states gallon is an instance of unit of volume

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19519-19530	If the approximate diameter of a self connected object is a real number the real numberM(s) and the radius of an object is the real number and 2.0 the real numberM(s) and the measure of the object is another real number another unit of measure(s) and the measure of the self connected object is a third real number the other unit of measure(s) and the real numberM is an instance of unit of length and the other unit of measure is an instance of unit of volume, then equal the other real number and the third real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6401-6405	If equal a real number an unit of measure(s) and a physical quantity and the unit of measure is an instance of unit of volume, then the physical quantity is an instance of volume measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11384-11407	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 equal the time interval and 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 11354-11375	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.	Cars.kif 2795-2814	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 1882-1901	If a process is an instance of engine cycle and 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 the process is located at the object and an entity is an instance of unit of volume and the maximum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1852-1871	If a process is an instance of engine cycle and 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 the process is located at the object and an entity is an instance of unit of volume and the minimum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 2976-2993	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 equal the other object and 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 equal the real number2 and 0.01 and the real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 3000-3018	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 equal the other object and 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 3025-3043	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 equal the other object and 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 2952-2969	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 equal the other object and 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 equal the real number2 and 0.02 and the real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 2858-2876	If an object is an instance of whole 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 equal the other object and 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.0325 and the real number and the real number2 is less than or equal to 0.05 and the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1971-1983	If an entity is an instance of self connected object and a process is an instance of compressing and the entity is a patient of the process and the measure of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the other entity is an instance of unit of volume and the measure of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2847-2860	If a process is an instance of erosion and a physical is an instance of land form and the physical is a patient of the process and an unit of measure is an instance of unit of volume and the measure of the physical is a real number the unit of measure(s), then there exists an entity such that the measure of the physical is the entity the unit of measure(s) and the entity is less than the real number holds during immediately after the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 3667-3683

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: