annualElectricityConsumption - Sigma Knowledge base Browser

appearance as argument number 1

(documentation annualElectricityConsumption EnglishLanguage "(annualElectricityConsumption ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA uses ?AMOUNT of electricity (measured in KilowattHours) annually.")	Economy.kif 2222-2225
(domain annualElectricityConsumption 1 GeopoliticalArea)	Economy.kif 2219-2219	The number 1 argument of annual electricity consumption is an instance of geopolitical area
(domain annualElectricityConsumption 2 PhysicalQuantity)	Economy.kif 2220-2220	The number 2 argument of annual electricity consumption is an instance of physical quantity
(instance annualElectricityConsumption BinaryPredicate)	Economy.kif 2218-2218	annual electricity consumption is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage annualElectricityConsumption "%2 %n 是 %1 的 annual 电力消耗")	domainEnglishFormat.kif 152-152
(format ChineseTraditionalLanguage annualElectricityConsumption "%2 %n 是 %1 的 annual 電力消耗")	domainEnglishFormat.kif 151-151
(format EnglishLanguage annualElectricityConsumption "%2 is %n an annual electricity consumption of %1")	domainEnglishFormat.kif 150-150
(termFormat ChineseLanguage annualElectricityConsumption "年耗电量")	domainEnglishFormat.kif 7663-7663
(termFormat ChineseTraditionalLanguage annualElectricityConsumption "年耗電量")	domainEnglishFormat.kif 7662-7662
(termFormat EnglishLanguage annualElectricityConsumption "annual electricity consumption")	domainEnglishFormat.kif 7661-7661

antecedent

(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))

Economy.kif 2238-2245

consequent

(=>
    (and
        (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityConsumption ?AREA ?AMOUNT)))))

Economy.kif 2227-2236