Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Joule
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 6882-6885
(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 6879-6879 JouleCompositeUnitOfMeasureinstance では %n
(instance Joule SystemeInternationalUnit) Merge.kif 6880-6880 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 7353-7355 実数BritishThermalUnit(s) は 実数 + 1055.05585262 の Joule(s) と equal では %n
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))
Merge.kif 7345-7347 実数Calorie(s) は 実数 + 4.1868 の Joule(s) と equal では %n
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
Merge.kif 7161-7163 実数ElectronVolt(s) は 実数 + 1.60217733E-19 の Joule(s) と equal では %n


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners