annualRevenuesOfAreaInPeriod |
appearance as argument number 1 |
(documentation annualRevenuesOfAreaInPeriod EnglishLanguage "(annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that the annual budgetary revenues of the GeopoliticalArea ?AREA are ?AMOUNT for the annual TimeInterval indicated by ?PERIOD, calculated in U.S. dollars according to the currency exchange rate method.") | Economy.kif 1473-1477 | |
(domain annualRevenuesOfAreaInPeriod 1 GeopoliticalArea) | Economy.kif 1469-1469 | 期间面积的年收入 的 1 数量 是 地缘政治区域 的 instance |
(domain annualRevenuesOfAreaInPeriod 2 CurrencyMeasure) | Economy.kif 1470-1470 | 期间面积的年收入 的 2 数量 是 货币测量 的 instance |
(domainSubclass annualRevenuesOfAreaInPeriod 3 TimeInterval) | Economy.kif 1471-1471 | 期间面积的年收入 的 3 数量 是 时距 的 subclass |
(instance annualRevenuesOfAreaInPeriod TernaryPredicate) | Economy.kif 1468-1468 | 期间面积的年收入 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage annualRevenuesOfAreaInPeriod "%1 %n{不是} annual 对于 %3 在周期 %2 的地区收入") | domainEnglishFormat.kif 188-188 | |
(format ChineseTraditionalLanguage annualRevenuesOfAreaInPeriod "%1 %n{不是} annual 對於 %3 在週期 %2 的地區收入") | domainEnglishFormat.kif 187-187 | |
(format EnglishLanguage annualRevenuesOfAreaInPeriod "%1 %n{doesn't} annual revenues of area in period %2 for %3") | domainEnglishFormat.kif 186-186 | |
(termFormat ChineseLanguage annualRevenuesOfAreaInPeriod "期间面积的年收入") | domainEnglishFormat.kif 7710-7710 | |
(termFormat ChineseTraditionalLanguage annualRevenuesOfAreaInPeriod "期間面積的年收入") | domainEnglishFormat.kif 7709-7709 | |
(termFormat EnglishLanguage annualRevenuesOfAreaInPeriod "annual revenues of area in period") | domainEnglishFormat.kif 7708-7708 |
antecedent |
(<=> (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (annualRevenuesOfArea ?AREA ?AMOUNT))))) |
Economy.kif 1488-1493 | 地缘政治区域 annual 对于 有点 时距 在周期 货币测量 的地区收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 annual 地区收入 在 那个 时间位置 holdsDuring |