annualElectricityProduction - Sigma Knowledge base Browser

appearance as argument number 1

(instance annualElectricityProduction BinaryPredicate)	Economy.kif 2206-2206	annual electricity production is an instance of binary predicate
(domain annualElectricityProduction 1 GeopoliticalArea)	Economy.kif 2207-2207	The number 1 argument of annual electricity production is an instance of geopolitical area
(domain annualElectricityProduction 2 PhysicalQuantity)	Economy.kif 2208-2208	The number 2 argument of annual electricity production is an instance of physical quantity
(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 2210-2213	The number 2 argument of annual electricity production is an instance of physical quantity

appearance as argument number 2

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

antecedent

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

If X is an annual electricity production 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 production in period X for W

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

If X is electricity production 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 production of X holds during W