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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - militaryExpendituresFractionOfGDP
militaryExpendituresFractionOfGDP

appearance as argument number 1
-------------------------


(documentation militaryExpendituresFractionOfGDP EnglishLanguage "(militaryExpendituresFractionOfGDP ?AREA ?FRACTION) means that the estimated military spending of the GeopoliticalArea ?AREA is ?FRACTION of the gross domestic product (GDP) of that area.") Military.kif 999-1002
(domain militaryExpendituresFractionOfGDP 1 GeopoliticalArea) Military.kif 996-996 The number 1 argument of military expenditures fraction of GDP is an instance of geopolitical area
(domain militaryExpendituresFractionOfGDP 2 RealNumber) Military.kif 997-997 The number 2 argument of military expenditures fraction of GDP is an instance of real number
(instance militaryExpendituresFractionOfGDP BinaryPredicate) Military.kif 995-995 military expenditures fraction of GDP is an instance of binary predicate

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


(format ChineseLanguage militaryExpendituresFractionOfGDP "%2 %n 是 %1 的 military 部分GDP支出") domainEnglishFormat.kif 1719-1719
(format ChineseTraditionalLanguage militaryExpendituresFractionOfGDP "%2 %n 是 %1 的 military 部分GDP支出") domainEnglishFormat.kif 1718-1718
(format EnglishLanguage militaryExpendituresFractionOfGDP "%2 is %n a military expenditures fraction of GDP of %1") domainEnglishFormat.kif 1717-1717
(termFormat ChineseLanguage militaryExpendituresFractionOfGDP "军费开支GDP分数") domainEnglishFormat.kif 37595-37595
(termFormat ChineseTraditionalLanguage militaryExpendituresFractionOfGDP "軍費開支GDP分數") domainEnglishFormat.kif 37594-37594
(termFormat EnglishLanguage militaryExpendituresFractionOfGDP "military expenditures fraction of GDP") domainEnglishFormat.kif 37593-37593

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


(=>
    (militaryExpendituresFractionOfGDP ?AREA ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))
Military.kif 1005-1007

consequent
-------------------------


(<=>
    (militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (militaryExpendituresFractionOfGDP ?AREA ?FRACTION)))))
Military.kif 1010-1015 A geopolitical area is military expenditures fraction ofGDP in period a real number 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 real number is a military expenditures fraction of GDP 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