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

Formal Language: 



KB Term:  Term intersection
English Word: 

  militaryExpendituresFractionOfGDPInPeriod

 Sigma KEE - militaryExpendituresFractionOfGDPInPeriod
militaryExpendituresFractionOfGDPInPeriod

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


No TPTP formula. May not be expressible in strict first order. Military.kif 994-998
No TPTP formula. May not be expressible in strict first order. Military.kif 990-990 军费期间开支占GDP的比重 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 991-991 军费期间开支占GDP的比重 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 992-992 军费期间开支占GDP的比重 的 3 数量 是 时距 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 989-989 军费期间开支占GDP的比重 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1723-1723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1722-1722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1721-1721
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37601-37601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37600-37600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37599-37599

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


No TPTP formula. May not be expressible in strict first order. Military.kif 1019-1024 地缘政治区域 是 对于 时距 在周期 实数 的 military 部分GDP支出 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 military 部分GDP支出 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Military.kif 1000-1002


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