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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Joule
Joule(joule)
J, energy, energy_level, energy_state, free_energy, joule, watt_second

appearance as argument number 1
-------------------------


s__documentation(s__Joule,s__ChineseLanguage,'"这是国际单位制量度能量的单位,符号:J。它等於施加1 Newton 牛頓作用力,向力的方向,經過1 Meter 公尺距離所需的能量。Joule = N*m = m^2*kg*s^(-2)。"')

chinese_format.kif 2534-2535
s__documentation(s__Joule,s__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 6639-6642
s__externalImage(s__Joule,'"http://upload.wikimedia.org/wikipedia/commons/7/71/ Joule.jpg"')

pictureList.kif 4908-4908
s__externalImage(s__Joule,'"http://upload.wikimedia.org/wikipedia/commons/8/80/ SS-joule.jpg"')

pictureList.kif 5027-5027
s__instance(s__Joule,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6636-6636 Joule is an instance of CompositeUnitOfMeasure
s__instance(s__Joule,s__SystemeInternationalUnit)

s__instance(s__SystemeInternationalUnit,s__SetOrClass)

Merge.kif 6637-6637 Joule is an instance of systeme international unit

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


s__termFormat(s__ChineseLanguage,s__Joule,'"焦耳"')

domainEnglishFormat.kif 31776-31776
s__termFormat(s__ChineseTraditionalLanguage,s__Joule,'"焦耳"')

domainEnglishFormat.kif 31775-31775
s__termFormat(s__EnglishLanguage,s__Joule,'"joule"')

domainEnglishFormat.kif 31774-31774

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6546-6560
No TPTP formula. May not be expressible in strict first order. Geography.kif 6598-6612
( ! [V__AMOUNT,V__X] :
   (((s__instance(V__AMOUNT,s__PhysicalQuantity) &
         s__instance(V__X,s__RealNumber))
       =>
       (((V__AMOUNT = s__MeasureFn(V__X,s__Joule))
           =>
           ((V__AMOUNT = s__MeasureFn(s__MultiplicationFn(n__0_0002778,V__X)
            ,s__Watt))))))
   )
)

Economy.kif 2020-2022

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


( ! [V__AMOUNT,V__X] :
   (((s__instance(V__AMOUNT,s__PhysicalQuantity) &
         s__instance(V__X,s__RealNumber))
       =>
       (((V__AMOUNT = s__MeasureFn(V__X,s__KilowattHour))
           =>
           ((V__AMOUNT = s__MeasureFn(s__MultiplicationFn(n__3600000,V__X)
            ,s__Joule))))))
   )
)

Economy.kif 2015-2017

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


(s__MeasureFn(n__1,s__KilowattHour) = s__MeasureFn(n__3_6,s__MegaFn(s__Joule)))

Economy.kif 2012-2012 1 Kilowatt hour(s) is equal to 3.6 1 million joules(s)
(s__MeasureFn(n__1,s__KilowattHour) = s__MeasureFn(n__3600000,s__Joule))

Economy.kif 2013-2013 1 Kilowatt hour(s) is equal to 3600000 joule(s)
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       ((s__MeasureFn(V__NUMBER,s__BritishThermalUnit) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__1055_05585262)
        ,s__Joule))))
   )
)

Merge.kif 7106-7108 A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(s)
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       ((s__MeasureFn(V__NUMBER,s__Calorie) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__4_1868)
        ,s__Joule))))
   )
)

Merge.kif 7098-7100 A real number calorie(s) is equal to the real number and 4.1868 joule(s)
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       ((s__MeasureFn(V__NUMBER,s__ElectronVolt) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__1_60217733E_19)
        ,s__Joule))))
   )
)

Merge.kif 6914-6916 A real number electron volt(s) is equal to the real number and 1.60217733E-19 joule(s)


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