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 1008-1011
(domain militaryExpendituresFractionOfGDP 1 GeopoliticalArea) Military.kif 1005-1005 军费开支GDP分数 的 1 数量 是 地缘政治区域instance
(domain militaryExpendituresFractionOfGDP 2 RealNumber) Military.kif 1006-1006 军费开支GDP分数 的 2 数量 是 实数instance
(instance militaryExpendituresFractionOfGDP BinaryPredicate) Military.kif 1004-1004 军费开支GDP分数二元谓语instance

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 1014-1016

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


(<=>
    (militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (militaryExpendituresFractionOfGDP ?AREA ?FRACTION)))))
Military.kif 1019-1024 地缘政治区域 是 对于 时距 在周期 实数military 部分GDP支出 若且唯若 有存在 时间位置 这样 那个 时间位置那个 时距instance那个 实数那个 地缘政治区域military 部分GDP支出 在 那个 时间位置 holdsDuring


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