exportTotalInPeriod |
appearance as argument number 1 |
(documentation exportTotalInPeriod EnglishLanguage "(exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD) means that the total value of exports from the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) for the TimeInterval indicated by ?PERIOD. Export value is calculated on a Free on Board (F.O.B.) basis.") | Economy.kif 2261-2265 | |
(domain exportTotalInPeriod 1 GeopoliticalArea) | Economy.kif 2257-2257 | 期间出口总额 的 1 数量 是 地缘政治区域 的 instance |
(domain exportTotalInPeriod 2 CurrencyMeasure) | Economy.kif 2258-2258 | 期间出口总额 的 2 数量 是 货币测量 的 instance |
(domainSubclass exportTotalInPeriod 3 TimeInterval) | Economy.kif 2259-2259 | 期间出口总额 的 3 数量 是 时距 的 subclass |
(instance exportTotalInPeriod TernaryPredicate) | Economy.kif 2256-2256 | 期间出口总额 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage exportTotalInPeriod "%1 %n{不} 对于 %3 在周期 %2 export 全部") | domainEnglishFormat.kif 975-975 | |
(format ChineseTraditionalLanguage exportTotalInPeriod "%1 %n{不} 對於 %3 在週期 %2 export 全部") | domainEnglishFormat.kif 974-974 | |
(format EnglishLanguage exportTotalInPeriod "%1 %n{doesn't} export total in period %2 for %3") | domainEnglishFormat.kif 973-973 | |
(termFormat ChineseLanguage exportTotalInPeriod "期间出口总额") | domainEnglishFormat.kif 22936-22936 | |
(termFormat ChineseTraditionalLanguage exportTotalInPeriod "期間出口總額") | domainEnglishFormat.kif 22935-22935 | |
(termFormat EnglishLanguage exportTotalInPeriod "export total in period") | domainEnglishFormat.kif 22934-22934 |
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 2277-2286 |
consequent |
(=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2288-2295 |