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 | O argumento numero 1 de capitalExpendituresOfArea e' uma instancia de Area Geopolitica |
(domain capitalExpendituresOfArea 2 CurrencyMeasure) | Economy.kif 1549-1549 | O argumento numero 2 de capitalExpendituresOfArea e' uma instancia de Medida de Divisa |
(instance capitalExpendituresOfArea BinaryPredicate) | Economy.kif 1547-1547 | capitalExpendituresOfArea e' uma instancia de Predicado Binario |
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 | capitalExpendituresOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal capitalExpendituresOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal |