| KilowattHour | |
| 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 2243-2246 | |
| (instance KilowattHour CompositeUnitOfMeasure) | Economy.kif 2240-2240 | KilowattHour は CompositeUnitOfMeasure の instance では |
| appearance as argument number 2 |
|
|
| (abbreviation "kWh" KilowattHour) | Economy.kif 2241-2241 | abbreviation "kWh" and KilowattHour |
| (termFormat ChineseLanguage KilowattHour "千瓦时") | domainEnglishFormat.kif 32574-32574 | abbreviation "kWh" and KilowattHour |
| (termFormat ChineseTraditionalLanguage KilowattHour "千瓦時") | domainEnglishFormat.kif 32573-32573 | abbreviation "kWh" and KilowattHour |
| (termFormat EnglishLanguage KilowattHour "kilowatt hour") | domainEnglishFormat.kif 32572-32572 | abbreviation "kWh" and KilowattHour |
| antecedent |
|
|
| (=> (equal ?AMOUNT (MeasureFn ?X KilowattHour)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 3600000.0 ?X) Joule))) |
Economy.kif 2251-2253 |
| statement |
|
|
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2248-2248 | equal 1 の KilowattHour(s) and 3.6 の 1 の million Joules(s) |
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3600000.0 Joule)) |
Economy.kif 2249-2249 | equal 1 の KilowattHour(s) and 3600000.0 の Joule(s) |
|
|
|