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

Formal Language: 



KB Term:  Term intersection
English Word: 

  militaryExpendituresFractionOfGDP

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 Le nombre 1 argument de militaryExpendituresFractionOfGDP est une instance de secteur g�opolitique
(domain militaryExpendituresFractionOfGDP 2 RealNumber) Military.kif 997-997 Le nombre 2 argument de militaryExpendituresFractionOfGDP est une instance de nombre r�el
(instance militaryExpendituresFractionOfGDP BinaryPredicate) Military.kif 995-995 militaryExpendituresFractionOfGDP est une instance de pr�dicat binaire

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

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