| KilowattHour(kilowatt hour) | | B.T.U., Board_of_Trade_unit, kW-hr, kilowatt_hour |
| appearance as argument number 1 |
|
|
| (documentation KilowattHour EnglishLanguage "KilowattHour is a UnitOfMeasure for energy that represents 1000 Watts (1 kW) of power expended over one hour (1 h) of time. This is the unit commonly used in commercial power contexts. It is equivalent to 3,600,000 Joules.") | Economy.kif 2118-2121 | |
| (instance KilowattHour CompositeUnitOfMeasure) | Economy.kif 2115-2115 | Kilowatt hour is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| (abbreviation "kWh" KilowattHour) | Economy.kif 2116-2116 | "kWh" is an abbreviation of kilowatt hour |
| (termFormat ChineseLanguage KilowattHour "千瓦时") | domainEnglishFormat.kif 32591-32591 | "kWh" is an abbreviation of kilowatt hour |
| (termFormat ChineseTraditionalLanguage KilowattHour "千瓦時") | domainEnglishFormat.kif 32590-32590 | "kWh" is an abbreviation of kilowatt hour |
| (termFormat EnglishLanguage KilowattHour "kilowatt hour") | domainEnglishFormat.kif 32589-32589 | "kWh" is an abbreviation of kilowatt hour |
| antecedent |
|
|
| (=> (equal ?AMOUNT (MeasureFn ?X KilowattHour)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 3600000.0 ?X) Joule))) |
Economy.kif 2126-2128 |
|
| statement |
|
|
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2123-2123 | 1 Kilowatt hour(s) is equal to 3.6 1 million joules(s) |
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3600000.0 Joule)) |
Economy.kif 2124-2124 | 1 Kilowatt hour(s) is equal to 3600000.0 joule(s) |
|
|
|