Calorie Comparison Table

Entity > Abstract > Class > Relation > Function > FunctionQuantity > EnergyMeasure > Calorie

Next EnergyMeasure: ElectronVolt Up: EnergyMeasure, UnitOfMeasure Previous EnergyMeasure: BritishThermalUnit

Calorie 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

EnergyMeasure rangeSubclass SubtractionFn A 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)
(not
(exists (?POINT)
(or
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))
domainSubclass FunctionQuantity

UnitOfMeasure SubtractionFn MeasureFn A 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

Calorie SubtractionFn MeasureFn A Calorie is an EnergyMeasure
(equal
(MeasureFn ?NUMBER Calorie)
(MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule))
domainSubclass UnitOfMeasure

Subject	be first domain of	be second domain of	documentation	have axiom	be third domain of	is a kind of	is an instance of
EnergyMeasure	rangeSubclass	SubtractionFn	A 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) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))	domainSubclass	FunctionQuantity
UnitOfMeasure	SubtractionFn	MeasureFn	A 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
Calorie	SubtractionFn	MeasureFn	A Calorie is an EnergyMeasure	(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule))	domainSubclass		UnitOfMeasure

Next EnergyMeasure: ElectronVolt Up: EnergyMeasure, UnitOfMeasure Previous EnergyMeasure: BritishThermalUnit