SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > PowerMeasure > KiloWatt
Next PowerMeasureWatt    UpPowerMeasure

KiloWatt
subjectfact 
KiloWattdocumentation Multiple of Watt. Symbol: kW. A UnitOfMeasure that measures power, i.e. energy produced or expended divided by TimeDuration. 1 KiloWatt = 1000 Watts2001-11-30 13:34:34.0
has axiom
(equal
(MeasureFn ?NUMBER KiloWatt)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Watt))
2001-11-30 13:34:34.0
is an instance of PowerMeasure2001-11-30 13:34:34.0
Functionis first domain of AssignmentFn2001-11-30 13:34:18.0
is first domain of closedOn2001-11-30 13:34:18.0
is first domain of range2001-11-30 13:34:18.0
is first domain of rangeSubclass2001-11-30 13:34:18.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Relationis second domain of subrelation2001-11-30 13:35:10.0
Quantityis second domain of AdditionFn2001-11-30 13:35:06.0
is second domain of DivisionFn2001-11-30 13:35:06.0
is second domain of greaterThan2001-11-30 13:35:06.0
is second domain of greaterThanOrEqualTo2001-11-30 13:35:06.0
is second domain of lessThan2001-11-30 13:35:06.0
is second domain of lessThanOrEqualTo2001-11-30 13:35:06.0
is second domain of MaxFn2001-11-30 13:35:06.0
is second domain of MinFn2001-11-30 13:35:06.0
is second domain of MultiplicationFn2001-11-30 13:35:06.0
is second domain of RemainderFn2001-11-30 13:35:06.0
is second domain of SubtractionFn2001-11-30 13:35:06.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next PowerMeasureWatt    UpPowerMeasure