SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > DensityFn |
DensityFn | ||||
subject | fact |
DensityFn | documentation 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 | |
has domain1 MassMeasure | ||
has domain2 VolumeMeasure | ||
has range DensityMeasure | ||
is an instance of BinaryFunction | ||
is an instance of DensityMeasure | ||
BinaryFunction | has axiom (<=> | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
is first domain of distributes | ||
is first domain of identityElement | ||
is second domain of distributes | ||
PhysicalQuantity | is partitioned into ConstantQuantity, FunctionQuantity | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next BinaryFunction: ExponentiationFn Up: BinaryFunction, DensityMeasure Previous BinaryFunction: DayFn