![]() |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > MassMeasure > PoundMass |
![]() ![]() | ||||
PoundMass | ||||
subject | fact |
PoundMass | documentation English mass unit of pounds | ![]() |
is an instance of MassMeasure | ![]() | |
is an instance of UnitOfMeasure | ![]() | |
MassMeasure | is first domain of DensityFn | ![]() |
UnitOfMeasure | has axiom (=> | ![]() |
has axiom (=> | ![]() | |
has axiom (=> | ![]() | |
is second domain of MeasureFn | ![]() | |
PhysicalQuantity | is partitioned into ConstantQuantity, FunctionQuantity | ![]() |
Abstract | is disjoint from Physical | ![]() |