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 6883-6886 | |
(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 4907-4907 | |
(externalImage Joule "http://upload.wikimedia.org/wikipedia/commons/8/80/ SS-joule.jpg") | pictureList.kif 5026-5026 | |
(instance Joule CompositeUnitOfMeasure) | Merge.kif 6880-6880 | Joule は CompositeUnitOfMeasure の instance では %n |
(instance Joule SystemeInternationalUnit) | Merge.kif 6881-6881 | Joule は システム国際ユニット の instance では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage Joule "焦耳") | domainEnglishFormat.kif 31789-31789 | |
(termFormat ChineseTraditionalLanguage Joule "焦耳") | domainEnglishFormat.kif 31788-31788 | |
(termFormat EnglishLanguage Joule "joule") | domainEnglishFormat.kif 31787-31787 |
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 7016-7030 | |
(=> (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 7068-7082 | |
(=> (equal ?AMOUNT (MeasureFn ?X Joule)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 0.0002778 ?X) Watt))) |
Economy.kif 2016-2018 |
consequent |
(=> (equal ?AMOUNT (MeasureFn ?X KilowattHour)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 3600000.0 ?X) Joule))) |
Economy.kif 2011-2013 |
statement |
(equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2008-2008 | 1 の KilowattHour(s) は 3.6 の 1 の million Joules(s) と equal では %n |
(equal (MeasureFn 1 KilowattHour) (MeasureFn 3600000.0 Joule)) |
Economy.kif 2009-2009 | 1 の KilowattHour(s) は 3600000.0 の Joule(s) と equal では %n |
(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule)) |
Merge.kif 7354-7356 | 実数 の BritishThermalUnit(s) は 実数 + 1055.05585262 の Joule(s) と equal では %n |
(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule)) |
Merge.kif 7346-7348 | 実数 の Calorie(s) は 実数 + 4.1868 の Joule(s) と equal では %n |
(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule)) |
Merge.kif 7162-7164 | 実数 の ElectronVolt(s) は 実数 + 1.60217733E-19 の Joule(s) と equal では %n |