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

Formal Language: 



KB Term:  Term intersection
English Word: 

  perCapitaGDP
  Nodding

 Sigma KEE - perCapitaGDP
perCapitaGDP

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1037-1040
No TPTP formula. May not be expressible in strict first order. Economy.kif 1034-1034 人均GDp 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1035-1035 人均GDp 的 2 数量 是 货币测量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1033-1033 人均GDp 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1032-1032 人均GDp 是 基于PPP的经济估值 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1927-1927
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1926-1926
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1925-1925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45084-45084
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45083-45083
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45082-45082

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1042-1047 地缘政治区域 是 对于 时距 在周期 货币测量 的 per 人头 GDP 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 per 人头 GDP 在 那个 时间位置 holdsDuring


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