| appearance as argument number 1 |
|
| (documentation militaryExpendituresInUSDollars EnglishLanguage "(militaryExpendituresInUSDollars ?AREA ?AMOUNT) means that the estimated military spending of the GeopoliticalArea ?AREA is ?AMOUNT in UnitedStatesDollars. Note: This predicate was created to represent data from the CIA World Fact Book, which calculates ?AMOUNT by multiplying estimated percentage of ?AREA's budget spent on defense by its gross domestic product (GDP) expressed in U.S. dollars. Note that this GDP is calculated by the exchange rate method rather than by PPPBasedEconomicValuation. Military expenditures data is approximate.") | Military.kif 1028-1036 | |
| (domain militaryExpendituresInUSDollars 1 GeopoliticalArea) | Military.kif 1025-1025 | The number 1 argument of military expenditures in US dollars is an instance of geopolitical area |
| (domain militaryExpendituresInUSDollars 2 CurrencyMeasure) | Military.kif 1026-1026 | The number 2 argument of military expenditures in US dollars is an instance of currency measure |
| (instance militaryExpendituresInUSDollars BinaryPredicate) | Military.kif 1024-1024 | military expenditures in US dollars is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage militaryExpendituresInUSDollars "%2 %n 是 %1 的 military 在美元的花费") | domainEnglishFormat.kif 1731-1731 | |
| (format ChineseTraditionalLanguage militaryExpendituresInUSDollars "%2 %n 是 %1 的 military 美元花費") | domainEnglishFormat.kif 1730-1730 | |
| (format EnglishLanguage militaryExpendituresInUSDollars "%2 is %n a military expenditures in US dollars of %1") | domainEnglishFormat.kif 1729-1729 | |
| (termFormat ChineseLanguage militaryExpendituresInUSDollars "军费用美元") | domainEnglishFormat.kif 37633-37633 | |
| (termFormat ChineseTraditionalLanguage militaryExpendituresInUSDollars "軍費用美元") | domainEnglishFormat.kif 37632-37632 | |
| (termFormat EnglishLanguage militaryExpendituresInUSDollars "military expenditures in US dollars") | domainEnglishFormat.kif 37631-37631 |
| consequent |
|
|
| (<=> (militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
Military.kif 1038-1043 | A geopolitical area is military expenditures in US dollars in period a currency measure for a time interval if and only if there exists a time position such that the time position is an instance of the time interval and the currency measure is a military expenditures in US dollars of the geopolitical area holds during the time position |
|
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