SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > Function > BinaryFunction > DensityFn
Next BinaryFunctionExponentiationFn    UpBinaryFunction, DensityMeasure    Previous BinaryFunctionDayFn

 DensityFn comparison table
 have domain2 have domain1 partition into be first domain of have range be second domain of documentation have axiom is a kind of is an instance of Subject BinaryFunction identityElement distributes The Class of Functions that require two arguments `(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2))` TernaryRelation DensityMeasure ConstantQuantity, FunctionQuantity rangeSubclass SubtractionFn A FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of time (which are ConstantQuantities) to values of distance (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the range of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself `(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))` FunctionQuantity DensityFn VolumeMeasure MassMeasure ConstantQuantity, FunctionQuantity identityElement DensityMeasure distributes A 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))` DensityMeasure

Next BinaryFunctionExponentiationFn    UpBinaryFunction, DensityMeasure    Previous BinaryFunctionDayFn