TreeView Knowledge Base Browser - exportTotalInPeriod

appearance as argument number 2

(format EnglishLanguage exportTotalInPeriod "%1 %n{doesn't} export total in period %2 for %3")	domainEnglishFormat.kif 973-973
(format ChineseTraditionalLanguage exportTotalInPeriod "%1 %n{不} 對於 %3 在週期 %2 export 全部")	domainEnglishFormat.kif 974-974
(format ChineseLanguage exportTotalInPeriod "%1 %n{不} 对于 %3 在周期 %2 export 全部")	domainEnglishFormat.kif 975-975
(termFormat EnglishLanguage exportTotalInPeriod "export total in period")	domainEnglishFormat.kif 22930-22930
(termFormat ChineseTraditionalLanguage exportTotalInPeriod "期間出口總額")	domainEnglishFormat.kif 22931-22931
(termFormat ChineseLanguage exportTotalInPeriod "期间出口总额")	domainEnglishFormat.kif 22932-22932

antecedent

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

Economy.kif 2512-2521

If X export total 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 export total of X holds during W

consequent

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

Economy.kif 2523-2530

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

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

KB Term:			Term intersection

English Word: