| 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 1555-1560 | |
| (domain capitalExpendituresOfArea 1 GeopoliticalArea) | Economy.kif 1552-1552 | domain capitalExpendituresOfArea, 1 and GeopoliticalArea |
| (domain capitalExpendituresOfArea 2 CurrencyMeasure) | Economy.kif 1553-1553 | domain capitalExpendituresOfArea, 2 and CurrencyMeasure |
| (instance capitalExpendituresOfArea BinaryPredicate) | Economy.kif 1551-1551 | instance capitalExpendituresOfArea and BinaryPredicate |
| 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 13021-13021 | |
| (termFormat ChineseTraditionalLanguage capitalExpendituresOfArea "地區的資本支出") | domainEnglishFormat.kif 13020-13020 | |
| (termFormat EnglishLanguage capitalExpendituresOfArea "capital expenditures of area") | domainEnglishFormat.kif 13019-13019 |
| antecedent |
|
|
| (=> (and (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)) (holdsDuring ?TIME (annualExpendituresOfArea ?AREA ?TOTALAMOUNT))) (greaterThan ?TOTALAMOUNT ?CAPAMOUNT)) |
Economy.kif 1562-1566 |
| consequent |
|
|
| (<=> (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT))))) |
Economy.kif 1569-1574 | capitalExpendituresOfAreaInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and capitalExpendituresOfArea GeopoliticalArea and CurrencyMeasure |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners