Joule(joule) | J, energy, energy_level, energy_state, free_energy, joule, watt_second |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2534-2535 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6883-6886 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1235-1236 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4907-4907 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5026-5026 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6880-6880 | Joule is an instance of composite unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6881-6881 | Joule is an instance of systeme international unit |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31789-31789 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31788-31788 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31787-31787 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7016-7030 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7068-7082 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2016-2018 |
|
consequent |
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) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7354-7356 | A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7346-7348 | A real number calorie(s) is equal to the real number and 4.1868 joule(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7162-7164 | A real number electron volt(s) is equal to the real number and 1.60217733E-19 joule(s) |