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

Formal Language: 



KB Term:  Term intersection
English Word: 

  incomeDistributionByGiniIndexInPeriod

 Sigma KEE - incomeDistributionByGiniIndexInPeriod
incomeDistributionByGiniIndexInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1294-1298
No TPTP formula. May not be expressible in strict first order. Economy.kif 1290-1290 按基尼系数的收入分配 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1291-1291 按基尼系数的收入分配 的 2 数量 是 非负实数 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1292-1292 按基尼系数的收入分配 的 3 数量 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 1289-1289 按基尼系数的收入分配 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1297-1297
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1296-1296
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1295-1295
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29527-29527
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29526-29526
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29525-29525

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1318-1323 地缘政治区域 对于 有点 时距 在周期 非负实数 基于基尼指数 income 分配 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 非负实数 是 那个 地缘政治区域 基于基尼指数的 income 分配 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 1300-1302


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