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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - KilowattHour
KilowattHour(kilowatt hour)B.T.U., Board_of_Trade_unit, kW-hr, kilowatt_hour

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


(documentation KilowattHour EnglishLanguage "KilowattHour is a UnitOfMeasure for energy that represents 1000 Watts (1 kW) of power expended over one hour (1 h) of time. This is the unit commonly used in commercial power contexts. It is equivalent to 3,600,000 Joules.") Economy.kif 2243-2246
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2240-2240 Kilowatt hour is an instance of composite unit of measure

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


(abbreviation "kWh" KilowattHour) Economy.kif 2241-2241 "kWh" is an abbreviation of kilowatt hour
(termFormat ChineseLanguage KilowattHour "千瓦时") domainEnglishFormat.kif 32574-32574 "kWh" is an abbreviation of kilowatt hour
(termFormat ChineseTraditionalLanguage KilowattHour "千瓦時") domainEnglishFormat.kif 32573-32573 "kWh" is an abbreviation of kilowatt hour
(termFormat EnglishLanguage KilowattHour "kilowatt hour") domainEnglishFormat.kif 32572-32572 "kWh" is an abbreviation of kilowatt hour

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


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

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


(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))
Economy.kif 2248-2248 equal 1 kilowatt hour(s) and 3.6 1 million joules(s)
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3600000.0 Joule))
Economy.kif 2249-2249 equal 1 kilowatt hour(s) and 3600000.0 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