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 6786-6789
(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 6783-6783 焦耳CompositeUnitOfMeasureinstance
(instance Joule SystemeInternationalUnit) Merge.kif 6784-6784 焦耳国际单位制instance

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


(termFormat ChineseLanguage Joule "焦耳") domainEnglishFormat.kif 31776-31776
(termFormat ChineseTraditionalLanguage Joule "焦耳") domainEnglishFormat.kif 31775-31775
(termFormat EnglishLanguage Joule "joule") domainEnglishFormat.kif 31774-31774

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 6704-6718
(=>
    (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 6756-6770
(=>
    (equal ?AMOUNT
        (MeasureFn ?X Joule))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn 0.0002778 ?X) Watt)))
Economy.kif 2027-2029

consequent
-------------------------


(=>
    (equal ?AMOUNT
        (MeasureFn ?X KilowattHour))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn 3600000.0 ?X) Joule)))
Economy.kif 2022-2024

statement
-------------------------


(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))
Economy.kif 2019-2019 1 千瓦时 equal 3.6 焦耳 的一百万倍
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3600000.0 Joule))
Economy.kif 2020-2020 1 千瓦时 equal 3600000.0 焦耳
(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))
Merge.kif 7257-7259 实数 英国热量单位 equal 那个 实数 和 1055.05585262 焦耳
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))
Merge.kif 7249-7251 实数 卡路里 equal 那个 实数 和 4.1868 焦耳
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
Merge.kif 7065-7067 实数 电子伏特 equal 那个 实数 和 1.60217733E-19 焦耳


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