SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > EnergyMeasure > BritishThermalUnit
Next EnergyMeasureCalorie    UpEnergyMeasure, UnitOfMeasure    Previous EnergyMeasureJoule   

BritishThermalUnit 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
EnergyMeasurerangeSubclassSubtractionFnA FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of time (which are ConstantQuantities) to values of distance (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the range of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself
(instance ?ABS Abstract)
(exists (?POINT)
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))
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
(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)))))
BritishThermalUnitSubtractionFnMeasureFnAn EnergyMeasure
(MeasureFn ?NUMBER BritishThermalUnit)
(MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule))
domainSubclass UnitOfMeasure

Next EnergyMeasureCalorie    UpEnergyMeasure, UnitOfMeasure    Previous EnergyMeasureJoule