SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > DensityMeasure
Next FunctionQuantityDoseEquivalentMeasure    UpFunctionQuantity    Previous FunctionQuantityCapacitanceMeasure   

DensityMeasure comparison table
Subject have domain2 have domain1 partition into be first domain of have range be second domain of documentation have axiom be third domain of be disjoint from is an instance of
DensityFnVolumeMeasureMassMeasureConstantQuantity, FunctionQuantityidentityElementDensityMeasuredistributesA very general FunctionQuantity. DensityFn maps an instance of MassMeasure and an instance of VolumeMeasure to the density represented by this combination of mass and volume. For example, (DensityFn (MeasureFn 3 Kilogram) (MeasureFn 1 Liter)) represents the density of 3 kilograms per liter
(=>
(instance ?FUNCTION BinaryFunction)
(valence ?FUNCTION 2))
domainSubclassPhysicalDensityMeasure

Next FunctionQuantityDoseEquivalentMeasure    UpFunctionQuantity    Previous FunctionQuantityCapacitanceMeasure