TreeView Knowledge Base Browser

appearance as argument number 1

(documentation annualImportTotal EnglishLanguage "(annualImportTotal ?AREA ?AMOUNT) means that the total value of imports to the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) annually. Import value is calculated on a Cost, Insurance, and Freight (C.I.F.) or a Free on Board (F.O.B.) basis.")	Economy.kif 2577-2581
(domain annualImportTotal 1 GeopoliticalArea)	Economy.kif 2574-2574
(domain annualImportTotal 2 CurrencyMeasure)	Economy.kif 2575-2575
(instance annualImportTotal BinaryPredicate)	Economy.kif 2573-2573

appearance as argument number 2

(format ChineseLanguage annualImportTotal "%2 %n 是 %1 的 annual 总共输入")	domainEnglishFormat.kif 180-180
(format ChineseTraditionalLanguage annualImportTotal "%2 %n 是 %1 的 annual 總共輸入")	domainEnglishFormat.kif 179-179
(format EnglishLanguage annualImportTotal "%2 is %n an annual import total of %1")	domainEnglishFormat.kif 178-178
(termFormat ChineseLanguage annualImportTotal "年进口总额")	domainEnglishFormat.kif 7698-7698
(termFormat ChineseTraditionalLanguage annualImportTotal "年進口總額")	domainEnglishFormat.kif 7697-7697
(termFormat EnglishLanguage annualImportTotal "annual import total")	domainEnglishFormat.kif 7696-7696

antecedent

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

Economy.kif 2594-2601

consequent

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

Economy.kif 2583-2592

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

KB Term:			Term intersection

English Word: