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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - KilowattHour

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 2007-2010
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2004-2004

appearance as argument number 2

(abbreviation "kWh" KilowattHour) Economy.kif 2005-2005
(termFormat EnglishLanguage KilowattHour "kilowatt hour") domainEnglishFormat.kif 5845-5845


    (equal ?AMOUNT
        (MeasureFn ?X KilowattHour))
    (equal ?AMOUNT
            (MultiplicationFn 3600000 ?X) Joule)))
Economy.kif 2015-2017


    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))
Economy.kif 2012-2012
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3600000 Joule))
Economy.kif 2013-2013

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