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 1676-1681 | |
(domain capitalExpendituresOfArea 1 GeopoliticalArea) | Economy.kif 1673-1673 | capitalExpendituresOfArea の数値 1 引数は 地政学的地域 の instance では |
(domain capitalExpendituresOfArea 2 CurrencyMeasure) | Economy.kif 1674-1674 | capitalExpendituresOfArea の数値 2 引数は 通貨測定 の instance では |
(instance capitalExpendituresOfArea BinaryPredicate) | Economy.kif 1672-1672 | capitalExpendituresOfArea は 2進述語 の 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 13095-13095 | |
(termFormat ChineseTraditionalLanguage capitalExpendituresOfArea "地區的資本支出") | domainEnglishFormat.kif 13094-13094 | |
(termFormat EnglishLanguage capitalExpendituresOfArea "capital expenditures of area") | domainEnglishFormat.kif 13093-13093 |
antecedent |
![]() |
(=> (and (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)) (holdsDuring ?TIME (annualExpendituresOfArea ?AREA ?TOTALAMOUNT))) (greaterThan ?TOTALAMOUNT ?CAPAMOUNT)) |
Economy.kif 1683-1687 |
consequent |
![]() |
(<=> (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT))))) |
Economy.kif 1690-1695 | capitalExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では capitalExpendituresOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds |
![]() |
![]() |