TreeView Knowledge Base Browser - annualElectricityImport

appearance as argument number 2

(format EnglishLanguage annualElectricityImport "%2 is %n an annual electricity import of %1")	domainEnglishFormat.kif 158-158
(format ChineseTraditionalLanguage annualElectricityImport "%2 %n 是 %1 annual 的電力輸入")	domainEnglishFormat.kif 159-159
(format ChineseLanguage annualElectricityImport "%2 %n 是 %1 annual 的电力输入")	domainEnglishFormat.kif 160-160
(termFormat EnglishLanguage annualElectricityImport "annual electricity import")	domainEnglishFormat.kif 7661-7661
(termFormat ChineseTraditionalLanguage annualElectricityImport "年度電力進口")	domainEnglishFormat.kif 7662-7662
(termFormat ChineseLanguage annualElectricityImport "年度电力进口")	domainEnglishFormat.kif 7663-7663

antecedent

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

Economy.kif 2448-2455

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

consequent

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

Economy.kif 2437-2446

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: