TreeView Knowledge Base Browser - annualElectricityConsumption

appearance as argument number 2

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

antecedent

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

If X is an annual electricity consumption of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity consumption in period X for W

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)))))

If X is electricity consumption in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity consumption of X holds during W