KilowattHour(kilowatt hour) | B.T.U., Board_of_Trade_unit, kW-hr, kilowatt_hour |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2003-2006 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2000-2000 | Kilowatt hour is an instance of composite unit of measure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2001-2001 | "kWh" is an abbreviation of kilowatt hour |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32563-32563 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32562-32562 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32561-32561 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2011-2013 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2008-2008 | 1 Kilowatt hour(s) is equal to 3.6 1 million joules(s) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2009-2009 | 1 Kilowatt hour(s) is equal to 3600000.0 joule(s) |