capitalExpendituresOfAreaInPeriod |
appearance as argument number 1 |
(documentation capitalExpendituresOfAreaInPeriod EnglishLanguage "(capitalExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that the annual capital expenditures 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. This figure is a portion of the annualExpendituresOfArea for ?AREA in ?PERIOD.") | Economy.kif 1531-1536 | |
(domain capitalExpendituresOfAreaInPeriod 1 GeopoliticalArea) | Economy.kif 1527-1527 | 期间面积的资本支出 的 1 数量 是 地缘政治区域 的 instance |
(domain capitalExpendituresOfAreaInPeriod 2 CurrencyMeasure) | Economy.kif 1528-1528 | 期间面积的资本支出 的 2 数量 是 货币测量 的 instance |
(domainSubclass capitalExpendituresOfAreaInPeriod 3 TimeInterval) | Economy.kif 1529-1529 | 期间面积的资本支出 的 3 数量 是 时距 的 subclass |
(instance capitalExpendituresOfAreaInPeriod TernaryPredicate) | Economy.kif 1526-1526 | 期间面积的资本支出 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage capitalExpendituresOfAreaInPeriod "%1 %n{不是} 在周期 %2 对于 %3 的 capital 地区支出") | domainEnglishFormat.kif 364-364 | |
(format ChineseTraditionalLanguage capitalExpendituresOfAreaInPeriod "%1 %n{不是} 在週期 %2 對於 %3 的 capital 地區支出") | domainEnglishFormat.kif 363-363 | |
(format EnglishLanguage capitalExpendituresOfAreaInPeriod "%1 %n{doesn't} capital expenditures of area in period %2 for %3") | domainEnglishFormat.kif 362-362 | |
(termFormat ChineseLanguage capitalExpendituresOfAreaInPeriod "期间面积的资本支出") | domainEnglishFormat.kif 13092-13092 | |
(termFormat ChineseTraditionalLanguage capitalExpendituresOfAreaInPeriod "期間面積的資本支出") | domainEnglishFormat.kif 13091-13091 | |
(termFormat EnglishLanguage capitalExpendituresOfAreaInPeriod "capital expenditures of area in period") | domainEnglishFormat.kif 13090-13090 |
antecedent |
(<=> (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT))))) |
Economy.kif 1565-1570 | 地缘政治区域 在周期 货币测量 对于 有点 时距 的 capital 地区支出 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 capital 地区支出 在 那个 时间位置 holdsDuring |
(=> (and (capitalExpendituresOfAreaInPeriod ?AREA (MeasureFn ?CAPAMOUNT ?UNIT) ?PERIOD) (annualExpendituresOfAreaInPeriod ?AREA (MeasureFn ?TOTALAMOUNT ?UNIT) ?PERIOD)) (greaterThan ?TOTALAMOUNT ?CAPAMOUNT)) |
Economy.kif 1538-1544 |