annualElectricityProduction - Sigma Knowledge base Browser

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 1975-1978
(domain annualElectricityProduction 1 GeopoliticalArea)	Economy.kif 1972-1972	The number 1 argument of annual electricity production is an instance of geopolitical area
(domain annualElectricityProduction 2 PhysicalQuantity)	Economy.kif 1973-1973	The number 2 argument of annual electricity production is an instance of physical quantity
(instance annualElectricityProduction BinaryPredicate)	Economy.kif 1971-1971	annual electricity production is an instance of binary predicate

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 7682-7682
(termFormat ChineseTraditionalLanguage annualElectricityProduction "年發電量")	domainEnglishFormat.kif 7681-7681
(termFormat EnglishLanguage annualElectricityProduction "annual electricity production")	domainEnglishFormat.kif 7680-7680

antecedent

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

Economy.kif 1991-1998

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 1980-1989