| Joule(joule)
| | J, energy, energy_level, energy_state, free_energy, joule, watt_second |
| appearance as argument number 1 |
|
|
| (documentation Joule ChineseLanguage "这是国际单位制量度能量的单位，符号：J。它等於施加1 Newton 牛頓作用力，向力的方向，經過1 Meter 公尺距離所需的能量。Joule = N*m = m^2*kg*s^(-2)。") | chinese_format.kif 2534-2535 | |
| (documentation Joule EnglishLanguage "SI energy measure. Symbol: J. It is the work done when the point of application of 1 Newton is displaced a distance of 1 Meter in the direction of the force. Joule = N*m = m^2*kg*s^(-2).") | Merge.kif 6873-6876 | |
| (documentation Joule JapaneseLanguage "SIエネルギー測定。シンボル:J。 これは、1Nの塗布点が力 の方向に1Mの距離を変位したときに行われる作業である。 Joule = N*m = m^2*kg*s^(-2)。") | japanese_format.kif 1235-1236 | |
| (externalImage Joule "http://upload.wikimedia.org/wikipedia/commons/7/71/ Joule.jpg") | pictureList.kif 4906-4906 | |
| (externalImage Joule "http://upload.wikimedia.org/wikipedia/commons/8/80/ SS_joule.jpg") | pictureList.kif 5025-5025 | |
| (instance Joule CompositeUnitOfMeasure) | Merge.kif 6870-6870 | Joule is an instance of composite unit of measure |
| (instance Joule SystemeInternationalUnit) | Merge.kif 6871-6871 | Joule is an instance of systeme international unit |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Joule "焦耳") | domainEnglishFormat.kif 31817-31817 | |
| (termFormat ChineseTraditionalLanguage Joule "焦耳") | domainEnglishFormat.kif 31816-31816 | |
| (termFormat EnglishLanguage Joule "joule") | domainEnglishFormat.kif 31815-31815 |
| antecedent |
|
|
| consequent |
|
|
| (=> (equal ?AMOUNT (MeasureFn ?X KilowattHour)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 3600000.0 ?X) Joule))) |
Economy.kif 2126-2128 |
|
| statement |
|
|
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2123-2123 | 1 Kilowatt hour(s) is equal to 3.6 1 million joules(s) |
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3600000.0 Joule)) |
Economy.kif 2124-2124 | 1 Kilowatt hour(s) is equal to 3600000.0 joule(s) |
| (equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule)) |
Merge.kif 7363-7365 | A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(s) |
| (equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule)) |
Merge.kif 7355-7357 | A real number calorie(s) is equal to the real number and 4.1868 joule(s) |
| (equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule)) |
Merge.kif 7161-7169 | A real number electron volt(s) is equal to the real number and 1.60217733 and 1000000.0 and 1000000.0 and 10000000.0 joule(s) |
|
|
|