| 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 2007-2010 | |
| (instance KilowattHour CompositeUnitOfMeasure) | Economy.kif 2004-2004 | instance KilowattHour and CompositeUnitOfMeasure |
| appearance as argument number 2 |
|
|
| (abbreviation "kWh" KilowattHour) | Economy.kif 2005-2005 | abbreviation "kWh" and KilowattHour |
| (termFormat EnglishLanguage KilowattHour "kilowatt hour") | domainEnglishFormat.kif 5845-5845 | termFormat EnglishLanguage, KilowattHour and "kilowatt hour" |
| antecedent |
|
|
| (=> (equal ?AMOUNT (MeasureFn ?X KilowattHour)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 3600000 ?X) Joule))) |
Economy.kif 2015-2017 |
| statement |
|
|
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2012-2012 | equal MeasureFn 1 and KilowattHour and MeasureFn 3.6 and MegaFn Joule |
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3600000 Joule)) |
Economy.kif 2013-2013 | equal MeasureFn 1 and KilowattHour and MeasureFn 3600000 and Joule |
|
|
|