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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capitalExpendituresOfAreaInPeriod

 Sigma KEE - capitalExpendituresOfAreaInPeriod
capitalExpendituresOfAreaInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1531-1536
No TPTP formula. May not be expressible in strict first order. Economy.kif 1527-1527 期间面积的资本支出 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1528-1528 期间面积的资本支出 的 2 数量 是 货币测量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1529-1529 期间面积的资本支出 的 3 数量 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 1526-1526 期间面积的资本支出 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 364-364
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 363-363
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 362-362
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13092-13092
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13091-13091
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13090-13090

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1565-1570 地缘政治区域 在周期 货币测量 对于 有点 时距 的 capital 地区支出 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 capital 地区支出 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 1538-1544


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