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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Joule

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)。") Merge.kif 7112-7113
(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 7108-7111
(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 7106-7106
(instance Joule SystemeInternationalUnit) Merge.kif 7107-7107

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Joule "joule") domainEnglishFormat.kif 5715-5715

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 6339-6353
(=>
    (and
        (instance ?SUBLIMATION Sublimation)
        (patient ?SUBLIMATION ?OBJ)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?SUBLIMATION))
            (measure ?OBJ
                (MeasureFn ?X Joule)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?DEPOSITION))
            (measure ?OBJ
                (MeasureFn ?Y Joule))))
    (greaterThan ?Y ?X))
Geography.kif 6391-6405
(=>
    (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 7620-7622
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))
Merge.kif 7612-7614
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
Merge.kif 7415-7417


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners