TreeView Knowledge Base Browser - electricityProductionInPeriod

appearance as argument number 2

(format EnglishLanguage electricityProductionInPeriod "%1 %p{is} %n{isn't} electricity production in period %2 for %3")	domainEnglishFormat.kif 881-881
(format ChineseTraditionalLanguage electricityProductionInPeriod "%1 %p{是} %n{不是} 對於 %3 在週期 %2 的 electricity 生產")	domainEnglishFormat.kif 882-882
(format ChineseLanguage electricityProductionInPeriod "%1 %p{是} %n{不是} 对于 %3 在周期 %2 的 electricity 生产")	domainEnglishFormat.kif 883-883
(termFormat EnglishLanguage electricityProductionInPeriod "electricity production in period")	domainEnglishFormat.kif 21618-21618
(termFormat ChineseTraditionalLanguage electricityProductionInPeriod "期間的電力生產")	domainEnglishFormat.kif 21619-21619
(termFormat ChineseLanguage electricityProductionInPeriod "期间的电力生产")	domainEnglishFormat.kif 21620-21620

antecedent

(=>
    (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

consequent

(=>
    (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