SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > PowerMeasure > KiloWatt
Next PowerMeasure: Watt    Up: PowerMeasure

KiloWatt comparison table
Subject documentation have axiom is a kind of is an instance of
PowerMeasureA 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)))))
FunctionQuantity 
KiloWattMultiple of Watt. Symbol: kW. A UnitOfMeasure that measures power, i.e. energy produced or expended divided by TimeDuration. 1 KiloWatt = 1000 Watts
(equal
 	(MeasureFn ?NUMBER KiloWatt)
 	(MeasureFn (MultiplicationFn ?NUMBER 1000) Watt))
 PowerMeasure

Next PowerMeasure: Watt    Up: PowerMeasure