SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure > Angstrom
Next LengthMeasureCentimeter    UpLengthMeasure, UnitOfMeasure    Previous LengthMeasureMile   

Angstrom comparison table
Subject be first domain of be second domain of documentation have axiom be third domain of is a kind of is an instance of
LengthMeasureMagnitudeFnlengthThe Class of ConstantQuantities relating to length
(=>
(larger ?OBJ1 ?OBJ2)
(forall (?QUANT1 ?QUANT2)
(=>
(and
(measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure))
(measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure)))
(greaterThan ?QUANT1 ?QUANT2))))
distanceConstantQuantity 
UnitOfMeasureSubtractionFnMeasureFnA standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrisic property of a UnitOfMeasure that makes it primitive or fundamental; rather, a system-of-units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall (?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))
 PhysicalQuantity 
AngstromMagnitudeFnMeasureFnThe Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10)
(equal
(MeasureFn ?NUMBER Angstrom)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter))
distance UnitOfMeasure

Next LengthMeasureCentimeter    UpLengthMeasure, UnitOfMeasure    Previous LengthMeasureMile