SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > MassMeasure
Next ConstantQuantityPlaneAngleMeasure    UpConstantQuantity    Previous ConstantQuantityLengthMeasure   

MassMeasure
subjectfact 
MassMeasuredocumentation The Class of ConstantQuantities relating to the amount of matter in an Object2001-11-30 13:34:39.0
is first domain of DensityFn2001-11-30 13:34:39.0
is a kind of ConstantQuantity2001-11-30 13:34:39.0
ConstantQuantityhas axiom
(=>
(instance ?FUNCTION UnaryConstantFunctionQuantity)
(and
(domain ?FUNCTION 1 ConstantQuantity)
(range ?FUNCTION ConstantQuantity)))
2001-11-30 13:33:55.0
is second domain of measure2001-11-30 13:33:55.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Kinds of MassMeasure :