militaryExpendituresInUSDollars |
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 970-978 | |
(domain militaryExpendituresInUSDollars 1 GeopoliticalArea) | Military.kif 967-967 | militaryExpendituresInUSDollars の数値 1 引数は 地政学的地域 の instance では %n |
(domain militaryExpendituresInUSDollars 2 CurrencyMeasure) | Military.kif 968-968 | militaryExpendituresInUSDollars の数値 2 引数は 通貨測定 の instance では %n |
(instance militaryExpendituresInUSDollars BinaryPredicate) | Military.kif 966-966 | militaryExpendituresInUSDollars は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage militaryExpendituresInUSDollars "%2 %n 是 %1 的 military 在美元的花费") | domainEnglishFormat.kif 1727-1727 | |
(format ChineseTraditionalLanguage militaryExpendituresInUSDollars "%2 %n 是 %1 的 military 美元花費") | domainEnglishFormat.kif 1726-1726 | |
(format EnglishLanguage militaryExpendituresInUSDollars "%2 is %n a military expenditures in US dollars of %1") | domainEnglishFormat.kif 1725-1725 | |
(termFormat ChineseLanguage militaryExpendituresInUSDollars "军费用美元") | domainEnglishFormat.kif 37607-37607 | |
(termFormat ChineseTraditionalLanguage militaryExpendituresInUSDollars "軍費用美元") | domainEnglishFormat.kif 37606-37606 | |
(termFormat EnglishLanguage militaryExpendituresInUSDollars "military expenditures in US dollars") | domainEnglishFormat.kif 37605-37605 |
consequent |
(<=> (militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
Military.kif 980-985 | militaryExpendituresInUSDollarsInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n militaryExpendituresInUSDollars 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |