capitalExpendituresOfArea |
appearance as argument number 1 |
(documentation capitalExpendituresOfArea EnglishLanguage "(capitalExpendituresOfArea ?AREA ?AMOUNT) means that the annual capital expenditures of the GeopoliticalArea ?AREA are ?AMOUNT, calculated in U.S. dollars according to the currency exchange rate method. This figure is a portion of the annualExpendituresOfArea for ?AREA.") | Economy.kif 1551-1556 | |
(domain capitalExpendituresOfArea 1 GeopoliticalArea) | Economy.kif 1548-1548 | 地区的资本支出 的 1 数量 是 地缘政治区域 的 instance |
(domain capitalExpendituresOfArea 2 CurrencyMeasure) | Economy.kif 1549-1549 | 地区的资本支出 的 2 数量 是 货币测量 的 instance |
(instance capitalExpendituresOfArea BinaryPredicate) | Economy.kif 1547-1547 | 地区的资本支出 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage capitalExpendituresOfArea "%2 %n 是 %1 的 capital 地区支出") | domainEnglishFormat.kif 360-360 | |
(format ChineseTraditionalLanguage capitalExpendituresOfArea "%2 %n 是 %1 的 capital 地區支出") | domainEnglishFormat.kif 359-359 | |
(format EnglishLanguage capitalExpendituresOfArea "%2 is %n a capital expenditures of area of %1") | domainEnglishFormat.kif 358-358 | |
(termFormat ChineseLanguage capitalExpendituresOfArea "地区的资本支出") | domainEnglishFormat.kif 13086-13086 | |
(termFormat ChineseTraditionalLanguage capitalExpendituresOfArea "地區的資本支出") | domainEnglishFormat.kif 13085-13085 | |
(termFormat EnglishLanguage capitalExpendituresOfArea "capital expenditures of area") | domainEnglishFormat.kif 13084-13084 |
antecedent |
(=> (and (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)) (holdsDuring ?TIME (annualExpendituresOfArea ?AREA ?TOTALAMOUNT))) (greaterThan ?TOTALAMOUNT ?CAPAMOUNT)) |
Economy.kif 1558-1562 |
|
consequent |
(<=> (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT))))) |
Economy.kif 1565-1570 | 地缘政治区域 在周期 货币测量 对于 有点 时距 的 capital 地区支出 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 capital 地区支出 在 那个 时间位置 holdsDuring |