capitalExpendituresOfAreaInPeriod |
appearance as argument number 1 |
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 | 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 |
(=> (and (capitalExpendituresOfAreaInPeriod ?AREA (MeasureFn ?CAPAMOUNT ?UNIT) ?PERIOD) (annualExpendituresOfAreaInPeriod ?AREA (MeasureFn ?TOTALAMOUNT ?UNIT) ?PERIOD)) (greaterThan ?TOTALAMOUNT ?CAPAMOUNT)) |
Economy.kif 1538-1544 |