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 2347-2350
(domain annualElectricityConsumption 1 GeopoliticalArea)	Economy.kif 2344-2344	annualElectricityConsumption の数値 1 引数は地政学的地域の instance では
(domain annualElectricityConsumption 2 PhysicalQuantity)	Economy.kif 2345-2345	annualElectricityConsumption の数値 2 引数は物理量の instance では
(instance annualElectricityConsumption BinaryPredicate)	Economy.kif 2343-2343	annualElectricityConsumption は 2進述語の instance では

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 7657-7657
(termFormat ChineseTraditionalLanguage annualElectricityConsumption "年耗電量")	domainEnglishFormat.kif 7656-7656
(termFormat EnglishLanguage annualElectricityConsumption "annual electricity consumption")	domainEnglishFormat.kif 7655-7655

antecedent

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

Economy.kif 2363-2370

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 2352-2361