annualImportTotal |
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 | The number 1 argument of annual import total is an instance of geopolitical area |
(domain annualImportTotal 2 CurrencyMeasure) | Economy.kif 2575-2575 | The number 2 argument of annual import total is an instance of currency measure |
(instance annualImportTotal BinaryPredicate) | Economy.kif 2573-2573 | annual import total is an instance of binary predicate |
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 |
|