SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > DensityFn |
DensityFn comparison table |
Subject | 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 |
---|---|---|---|---|---|---|---|---|---|---|
BinaryFunction | identityElement | distributes | The Class of Functions that require two arguments | (=> | 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 | (<=> | 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 | (=> | DensityMeasure |
Next BinaryFunction: ExponentiationFn Up: BinaryFunction, DensityMeasure Previous BinaryFunction: DayFn