| 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 2243-2246 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2240-2240 | 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 2241-2241 | "kWh" is an abbreviation of kilowatt hour |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32574-32574 | "kWh" is an abbreviation of kilowatt hour |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32573-32573 | "kWh" is an abbreviation of kilowatt hour |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32572-32572 | "kWh" is an abbreviation of kilowatt hour |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2251-2253 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2248-2248 | equal 1 kilowatt hour(s) and 3.6 1 million joules(s) |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2249-2249 | equal 1 kilowatt hour(s) and 3600000.0 joule(s) |
|
|
|