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 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Military.kif 991-991 域 軍費期間開支佔GDP的比重, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order. Military.kif 992-992 域 軍費期間開支佔GDP的比重, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order. Military.kif 989-989 例 軍費期間開支佔GDP的比重 and TernaryPredicate

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 GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 的 military 部分GDP支出 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 military 部分GDP支出
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