SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure > Inch
Next LengthMeasureKilometer    UpLengthMeasure, UnitOfMeasure    Previous LengthMeasureFoot   

Inch 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 
InchMagnitudeFnMeasureFnEnglish length unit of inches
(equal
(MeasureFn ?NUMBER Inch)
(MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter))
distance UnitOfMeasure

Next LengthMeasureKilometer    UpLengthMeasure, UnitOfMeasure    Previous LengthMeasureFoot