Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2235-2235 Kilowatt hour is an instance of composite unit of measure
(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 2238-2241 Kilowatt hour is an instance of composite unit of measure
(instance KilowattHour UnitOfEnergy) HouseholdAppliances.kif 1194-1194 Kilowatt hour is an instance of unit of energy
(documentation KilowattHour EnglishLanguage "The KilowattHour is an energy measure unit. Symbol: kWh, kW h, or kWh. It is equal to energy 3600000 Joule which is equivalent of energy produced at 1000 Watt during one HourDuration.") HouseholdAppliances.kif 1195-1195 Kilowatt hour is an instance of unit of energy

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


(abbreviation "kWh" KilowattHour) Economy.kif 2236-2236 "kWh" is an abbreviation of kilowatt hour
(termFormat EnglishLanguage KilowattHour "kilowatt_hour") HouseholdAppliances.kif 1196-1196 "kWh" is an abbreviation of kilowatt hour
(termFormat EnglishLanguage KilowattHour "kilowatt hour") domainEnglishFormat.kif 32565-32565 "kWh" is an abbreviation of kilowatt hour
(termFormat ChineseTraditionalLanguage KilowattHour "千瓦時") domainEnglishFormat.kif 32566-32566 "kWh" is an abbreviation of kilowatt hour
(termFormat ChineseLanguage KilowattHour "千瓦时") domainEnglishFormat.kif 32567-32567 "kWh" is an abbreviation of kilowatt hour

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


(=>
    (equal ?AMOUNT
        (MeasureFn ?X KilowattHour))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn 3600000.0 ?X) Joule)))		 Economy.kif 2246-2248 If equal X and Y kilowatt hour(s), then equal X and 3600000.0 and Y joule(s)
(=>
    (and
        (instance ?X Dishwasher)
        (attribute ?X Compact)
        (attribute ?X EnergyStar4Rating)
        (annualEnergyConsumption ?X
            (MeasureFn ?ENERGY KilowattHour)))
    (lessThanOrEqualTo ?ENERGY 234))		 HouseholdAppliances.kif 1685-1692 If X is an instance of dishwasher, compact is an attribute of X, EnergyStar 4 is an attribute of X, and annual energy consumption X and Y kilowatt hour(s), then Y is less than or equal to 234
(=>
    (and
        (instance ?X Dishwasher)
        (attribute ?X Compact)
        (attribute ?X EnergyStar5Rating)
        (annualEnergyConsumption ?X
            (MeasureFn ?ENERGY KilowattHour)))
    (lessThanOrEqualTo ?ENERGY 222))		 HouseholdAppliances.kif 1696-1703 If X is an instance of dishwasher, compact is an attribute of X, EnergyStar 5 is an attribute of X, and annual energy consumption X and Y kilowatt hour(s), then Y is less than or equal to 222
(=>
    (and
        (instance ?X Dishwasher)
        (not
            (attribute ?X Compact))
        (attribute ?X EnergyStar4Rating)
        (annualEnergyConsumption ?X
            (MeasureFn ?ENERGY KilowattHour)))
    (lessThanOrEqualTo ?ENERGY 324))		 HouseholdAppliances.kif 1707-1715 If X is an instance of dishwasher, compact is not an attribute of X, EnergyStar 4 is an attribute of X, and annual energy consumption X and Y kilowatt hour(s), then Y is less than or equal to 324
(=>
    (and
        (instance ?X Dishwasher)
        (not
            (attribute ?X Compact))
        (attribute ?X EnergyStar5Rating)
        (annualEnergyConsumption ?X
            (MeasureFn ?ENERGY KilowattHour)))
    (lessThanOrEqualTo ?ENERGY 295))		 HouseholdAppliances.kif 1719-1727 If X is an instance of dishwasher, compact is not an attribute of X, EnergyStar 5 is an attribute of X, and annual energy consumption X and Y kilowatt hour(s), then Y is less than or equal to 295

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


(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER KilowattHour)
        (MeasureFn
            (MultiplicationFn ?NUMBER 3600000) Joule)))		 HouseholdAppliances.kif 1201-1207 If equal X, 1, and X, then equal X kilowatt hour(s) and X and 3600000 joule(s)

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


(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))		 Economy.kif 2243-2243 equal 1 kilowatt hour(s) and 3.6 1 million joules(s)
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3600000.0 Joule))		 Economy.kif 2244-2244 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners