SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure > Angstrom |
Angstrom | ||||
subject | fact |
Angstrom | documentation The Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10) | |
has axiom (equal | ||
is an instance of LengthMeasure | ||
is an instance of UnitOfMeasure | ||
LengthMeasure | is second domain of length | |
is third domain of distance | ||
UnitOfMeasure | is second domain of MeasureFn | |
ConstantQuantity | is first domain of MagnitudeFn | |
PhysicalQuantity | is partitioned into ConstantQuantity, FunctionQuantity | |
Abstract | is disjoint from Physical |