Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  militaryExpendituresInUSDollarsInPeriod

Sigma KEE - militaryExpendituresInUSDollarsInPeriod
militaryExpendituresInUSDollarsInPeriod

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 946-955
(domain militaryExpendituresInUSDollarsInPeriod 1 GeopoliticalArea) Military.kif 942-942 期間的美元軍費開支, 1 and GeopoliticalArea
(domain militaryExpendituresInUSDollarsInPeriod 2 CurrencyMeasure) Military.kif 943-943 期間的美元軍費開支, 2 and CurrencyMeasure
(domain militaryExpendituresInUSDollarsInPeriod 3 TimeInterval) Military.kif 944-944 期間的美元軍費開支, 3 and TimeInterval
(instance militaryExpendituresInUSDollarsInPeriod TernaryPredicate) Military.kif 941-941 期間的美元軍費開支 and TernaryPredicate

appearance as argument number 2
-------------------------


(format ChineseLanguage militaryExpendituresInUSDollarsInPeriod "%1 %n 是 对于 %3 在周期 %2 的 military 美元花费") domainEnglishFormat.kif 1731-1731
(format ChineseTraditionalLanguage militaryExpendituresInUSDollarsInPeriod "%1 %n 是 對於 %3 在周期 %2 的 military 美元花費") domainEnglishFormat.kif 1730-1730
(format EnglishLanguage militaryExpendituresInUSDollarsInPeriod "%1 is %n military expenditures in US dollars in period %2 for %3") domainEnglishFormat.kif 1729-1729
(termFormat ChineseLanguage militaryExpendituresInUSDollarsInPeriod "期间的美元军费开支") domainEnglishFormat.kif 37613-37613
(termFormat ChineseTraditionalLanguage militaryExpendituresInUSDollarsInPeriod "期間的美元軍費開支") domainEnglishFormat.kif 37612-37612
(termFormat EnglishLanguage militaryExpendituresInUSDollarsInPeriod "military expenditures in US dollars in period") domainEnglishFormat.kif 37611-37611

antecedent
-------------------------


(<=>
    (militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (militaryExpendituresInUSDollars ?AREA ?AMOUNT)))))
Military.kif 971-976 GeopoliticalArea 是 對於 TimeInterval 在周期 CurrencyMeasuremilitary 美元花費 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure GeopoliticalAreamilitary 美元花費


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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