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 2003-2006 | |
(instance KilowattHour CompositeUnitOfMeasure) | Economy.kif 2000-2000 | 千瓦时 是 CompositeUnitOfMeasure 的 instance |
appearance as argument number 2 |
(abbreviation "kWh" KilowattHour) | Economy.kif 2001-2001 | 千瓦时 是 "kWh" 的简称 |
(termFormat ChineseLanguage KilowattHour "千瓦时") | domainEnglishFormat.kif 32563-32563 | |
(termFormat ChineseTraditionalLanguage KilowattHour "千瓦時") | domainEnglishFormat.kif 32562-32562 | |
(termFormat EnglishLanguage KilowattHour "kilowatt hour") | domainEnglishFormat.kif 32561-32561 |
antecedent |
(=> (equal ?AMOUNT (MeasureFn ?X KilowattHour)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 3600000.0 ?X) Joule))) |
Economy.kif 2011-2013 |
statement |
(equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2008-2008 | 1 千瓦时 equal 3.6 焦耳 的一百万倍 |
(equal (MeasureFn 1 KilowattHour) (MeasureFn 3600000.0 Joule)) |
Economy.kif 2009-2009 | 1 千瓦时 equal 3600000.0 焦耳 |