annualElectricityConsumption - Sigma Knowledge base Browser

appearance as argument number 1

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

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