| Joule
| |
| 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 6584-6587 | |
| (externalImage Joule "http://upload.wikimedia.org/wikipedia/commons/7/71/ Joule.jpg") | pictureList.kif 4908-4908 | |
| (externalImage Joule "http://upload.wikimedia.org/wikipedia/commons/8/80/ SS-joule.jpg") | pictureList.kif 5027-5027 | |
| (instance Joule CompositeUnitOfMeasure) | Merge.kif 6581-6581 | |
| (instance Joule SystemeInternationalUnit) | Merge.kif 6582-6582 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Joule "焦耳") | domainEnglishFormat.kif 31708-31708 | |
| (termFormat ChineseTraditionalLanguage Joule "焦耳") | domainEnglishFormat.kif 31707-31707 | |
| (termFormat EnglishLanguage Joule "joule") | domainEnglishFormat.kif 31706-31706 |
| antecedent |
|
|
| (=> (and (instance ?DEPOSITION Deposition) (patient ?DEPOSITION ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?DEPOSITION)) (measure ?OBJ (MeasureFn ?X Joule))) (holdsDuring (ImmediateFutureFn (WhenFn ?DEPOSITION)) (measure ?OBJ (MeasureFn ?Y Joule)))) (lessThan ?Y ?X)) |
Geography.kif 6354-6368 | |
| (=> (and (instance ?SUBLIMATION Sublimation) (patient ?SUBLIMATION ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?SUBLIMATION)) (measure ?OBJ (MeasureFn ?X Joule))) (holdsDuring (ImmediateFutureFn (WhenFn ?SUBLIMATION)) (measure ?OBJ (MeasureFn ?Y Joule)))) (greaterThan ?Y ?X)) |
Geography.kif 6406-6420 | |
| (=> (equal ?AMOUNT (MeasureFn ?X Joule)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 0.0002778 ?X) Watt))) |
Economy.kif 2020-2022 |
| consequent |
|
|
| (=> (equal ?AMOUNT (MeasureFn ?X KilowattHour)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 3600000 ?X) Joule))) |
Economy.kif 2015-2017 |
| statement |
|
|
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2012-2012 | |
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3600000 Joule)) |
Economy.kif 2013-2013 | |
| (equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule)) |
Merge.kif 7049-7051 | |
| (equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule)) |
Merge.kif 7041-7043 | |
| (equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule)) |
Merge.kif 6857-6859 |
|
|
|