TreeView Knowledge Base Browser - annualElectricityProduction

appearance as argument number 1

(documentation annualElectricityProduction EnglishLanguage "(annualElectricityProduction ?AREA ?AMOUNT) means that the amount of electricity generated annually in the GeographicalArea ?AREA is ?AMOUNT, measured in KilowattHours.")	Economy.kif 1986-1989
(domain annualElectricityProduction 1 GeopoliticalArea)	Economy.kif 1983-1983
(domain annualElectricityProduction 2 PhysicalQuantity)	Economy.kif 1984-1984
(instance annualElectricityProduction BinaryPredicate)	Economy.kif 1982-1982

appearance as argument number 2

(format ChineseLanguage annualElectricityProduction "%2 %n 是 %1 的 annual 电力生产")	domainEnglishFormat.kif 164-164
(format ChineseTraditionalLanguage annualElectricityProduction "%2 %n 是 %1 的 annual 電力生產")	domainEnglishFormat.kif 163-163
(format EnglishLanguage annualElectricityProduction "%2 is %n an annual electricity production of %1")	domainEnglishFormat.kif 162-162
(termFormat ChineseLanguage annualElectricityProduction "年发电量")	domainEnglishFormat.kif 7683-7683
(termFormat ChineseTraditionalLanguage annualElectricityProduction "年發電量")	domainEnglishFormat.kif 7682-7682
(termFormat EnglishLanguage annualElectricityProduction "annual electricity production")	domainEnglishFormat.kif 7681-7681

antecedent

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

Economy.kif 2002-2009

consequent

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

Economy.kif 1991-2000