VolumeMeasure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VolumeMeasure ChineseLanguage "这是用来量度三维空间的尺度。")	chinese_format.kif 2412-2412
(documentation VolumeMeasure EnglishLanguage "Measures of the amount of space in three dimensions.")	Merge.kif 6190-6191
(externalImage VolumeMeasure "http://upload.wikimedia.org/wikipedia/en/0/ 00/ MetricImperialUSCustomaryUnits.jpg")	pictureList.kif 8786-8786
(subclass VolumeMeasure FunctionQuantity)	Merge.kif 6188-6188	Volume measure is a subclass of function quantity

appearance as argument number 2

(termFormat ChineseLanguage VolumeMeasure "体积测量")	chinese_format.kif 1306-1306
(termFormat EnglishLanguage VolumeMeasure "volume measure")	english_format.kif 1829-1829

appearance as argument number 3

(domain DensityFn 2 VolumeMeasure)	Merge.kif 6556-6556	The number 2 argument of density is an instance of volume measure
(domain engineDisplacement 2 VolumeMeasure)	Cars.kif 4980-4980	The number 2 argument of engineDisplacement is an instance of volume measure
(domain maxCylinderVolume 2 VolumeMeasure)	Cars.kif 1891-1891	The number 2 argument of maxCylinderVolume is an instance of volume measure
(domain minCylinderVolume 2 VolumeMeasure)	Cars.kif 1860-1860	The number 2 argument of minCylinderVolume is an instance of volume measure

antecedent

(=> (and (approximateDiameter ?O (MeasureFn ?L ?LM)) (sphereRadius ?S (MeasureFn (DivisionFn ?L 2.0) ?LM)) (measure ?S (MeasureFn ?V1 ?VM)) (measure ?O (MeasureFn ?V2 ?VM)) (instance ?LM LengthMeasure) (instance ?VM VolumeMeasure)) (equal ?V1 ?V2))	Mid-level-ontology.kif 17364-17375	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 length measure and the other unit of measure is an instance of volume measure, then the other real number is equal to the third real number
(=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V VolumeMeasure) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 9627-9650	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 volume measure 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
(=> (and (instance ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V VolumeMeasure) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 9597-9618	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 volume measure 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

consequent

(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfVolume))
    (instance ?QUANT VolumeMeasure))

Merge.kif 6286-6290

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

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: