| 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 2007-2010 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2004-2004 | Kilowatt hour is an instance of CompositeUnitOfMeasure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2005-2005 | "kWh" is an abbreviation of kilowatt hour |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32461-32461 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32460-32460 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32459-32459 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2015-2017 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2012-2012 | 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 2013-2013 | 1 Kilowatt hour(s) is equal to 3600000 joule(s) |
|
|
|