militaryExpendituresInUSDollarsInPeriod - Sigma Knowledge base Browser

appearance as argument number 1

(documentation militaryExpendituresInUSDollarsInPeriod EnglishLanguage "(militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD) means that the estimated military spending of the GeopoliticalArea ?AREA was ?AMOUNT in UnitedStatesDollars during the TimeInterval indicated by ?PERIOD. Note: This predicate was created to represent data from the CIA World Fact Book, which calculates ?AMOUNT by multiplying estimated defense spending of an ?AREA in percentage terms by the gross domestic product (GDP) for ?PERIOD. Note that for this figure, GDP is calculated by the exchange rate method rather than by PPPBasedEconomicValuation. In any case, military expenditures data should be treated as only approximate.")	Military.kif 1013-1022
(domain militaryExpendituresInUSDollarsInPeriod 1 GeopoliticalArea)	Military.kif 1009-1009	The number 1 argument of military expenditures in US dollars in period is an instance of geopolitical area
(domain militaryExpendituresInUSDollarsInPeriod 2 CurrencyMeasure)	Military.kif 1010-1010	The number 2 argument of military expenditures in US dollars in period is an instance of currency measure
(domain militaryExpendituresInUSDollarsInPeriod 3 TimeInterval)	Military.kif 1011-1011	The number 3 argument of military expenditures in US dollars in period is an instance of time interval
(instance militaryExpendituresInUSDollarsInPeriod TernaryPredicate)	Military.kif 1008-1008	military expenditures in US dollars in period is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage militaryExpendituresInUSDollarsInPeriod "%1 %n 是对于 %3 在周期 %2 的 military 美元花费")	domainEnglishFormat.kif 1735-1735
(format ChineseTraditionalLanguage militaryExpendituresInUSDollarsInPeriod "%1 %n 是對於 %3 在周期 %2 的 military 美元花費")	domainEnglishFormat.kif 1734-1734
(format EnglishLanguage militaryExpendituresInUSDollarsInPeriod "%1 is %n military expenditures in US dollars in period %2 for %3")	domainEnglishFormat.kif 1733-1733
(termFormat ChineseLanguage militaryExpendituresInUSDollarsInPeriod "期间的美元军费开支")	domainEnglishFormat.kif 37639-37639
(termFormat ChineseTraditionalLanguage militaryExpendituresInUSDollarsInPeriod "期間的美元軍費開支")	domainEnglishFormat.kif 37638-37638
(termFormat EnglishLanguage militaryExpendituresInUSDollarsInPeriod "military expenditures in US dollars in period")	domainEnglishFormat.kif 37637-37637

antecedent

(<=>
    (militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (militaryExpendituresInUSDollars ?AREA ?AMOUNT)))))

Military.kif 1038-1043