TreeView Knowledge Base Browser

appearance as argument number 1

(documentation annualExportTotal EnglishLanguage "(annualExportTotal ?AREA ?AMOUNT) means that the total value of exports from the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) annually. Export value is calculated on a Free on Board (F.O.B.) basis.")	Economy.kif 2282-2286
(domain annualExportTotal 1 GeopoliticalArea)	Economy.kif 2279-2279
(domain annualExportTotal 2 CurrencyMeasure)	Economy.kif 2280-2280
(instance annualExportTotal BinaryPredicate)	Economy.kif 2278-2278

appearance as argument number 2

(format ChineseLanguage annualExportTotal "%2 %n 是 %1 的 annual 总共输出")	domainEnglishFormat.kif 176-176
(format ChineseTraditionalLanguage annualExportTotal "%2 %n 是 %1 的 annual 總共輸出")	domainEnglishFormat.kif 175-175
(format EnglishLanguage annualExportTotal "%2 is %n an annual export total of %1")	domainEnglishFormat.kif 174-174
(termFormat ChineseLanguage annualExportTotal "年出口总额")	domainEnglishFormat.kif 7701-7701
(termFormat ChineseTraditionalLanguage annualExportTotal "年出口總額")	domainEnglishFormat.kif 7700-7700
(termFormat EnglishLanguage annualExportTotal "annual export total")	domainEnglishFormat.kif 7699-7699

antecedent

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

Economy.kif 2299-2306

consequent

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

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

KB Term:			Term intersection

English Word: