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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lowestDecileShareOfHouseholdIncomeInPeriod

 Sigma KEE - lowestDecileShareOfHouseholdIncomeInPeriod
lowestDecileShareOfHouseholdIncomeInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1203-1210
No TPTP formula. May not be expressible in strict first order. Economy.kif 1199-1199 期间最低平均家庭收入 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1200-1200 期间最低平均家庭收入 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1201-1201 期间最低平均家庭收入 的 3 数量 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 1198-1198 期间最低平均家庭收入 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1583-1583
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1582-1582
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1581-1581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35159-35159
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35158-35158
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35157-35157

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1233-1238 地缘政治区域 对于 有点 时距 在周期 实数 的 lowest 平分家庭收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 lowest 平分家庭收入 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 1212-1214


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