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 5987-5989
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5985-5985	UnitOfVolume is a subclass of CompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10423-10423	Cubic foot is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6950-6950	Cup is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10465-10465	Liquor shot is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6489-6489	Liter is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6959-6959	Ounce is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6941-6941	Pint is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6932-6932	Quart is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10450-10450	Registry ton is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6968-6968	United kingdom gallon is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6922-6922	United states gallon is an instance of UnitOfVolume

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6078-6082	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of UnitOfVolume, then the physical quantity is an instance of volume measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2825-2844	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 UnitOfVolume 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 doesn't exist the entity2 such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is a 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 1912-1931	If a process is an instance of EngineCycle 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 2 and an entity is an instance of UnitOfVolume and the maximum volume of the cylinders in the engine the object is a quantity the entity(s) holds during the time of existence of the process, then there don't exist another quantity 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 quantity the entity(s) holds during the time interval and the other quantity is greater than the quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1882-1901	If a process is an instance of EngineCycle 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 2 and an entity is an instance of UnitOfVolume and the minimum volume of the cylinders in the engine the object is a quantity the entity(s) holds during the time of existence of the process, then there don't exist another quantity 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 quantity the entity(s) holds during the time interval and the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2001-2013	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 quantity another entity(s) holds during immediately before the time of existence of the process and the other entity is an instance of UnitOfVolume and the measure of the entity is another quantity the other entity(s) holds during immediately after the time of existence of the process, then the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2651-2664	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 UnitOfVolume 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 3623-3639

If a physical is an instance of inflating,
then there exist an object, another object,, , a quantity,, , another quantity,, , 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 UnitOfVolume and the measure of the object is the quantity the entity(s) holds during immediately before the time of existence of the physical and the measure of the other object is the other quantity the entity(s) holds during immediately after the time of existence of the physical and the other quantity is greater than the quantity

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: