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

Formal Language: 



KB Term:  Term intersection
English Word: 

  populationFractionBelowPovertyLineInPeriod

 Sigma KEE - populationFractionBelowPovertyLineInPeriod
populationFractionBelowPovertyLineInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1159-1164
No TPTP formula. May not be expressible in strict first order. Economy.kif 1155-1155 域 人口分數低於貧困線的時期, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 1156-1156 域 人口分數低於貧困線的時期, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order. Economy.kif 1157-1157 域子類 人口分數低於貧困線的時期, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order. Economy.kif 1154-1154 例 人口分數低於貧困線的時期 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1991-1991
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1990-1990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1989-1989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46665-46665
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46664-46664
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46663-46663

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1184-1189 GeopoliticalArea 對於 TimeInterval 在週期 RealNumber 在貧困標準下的 population 部分 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 在貧困標準下的 population 部分
No TPTP formula. May not be expressible in strict first order. Economy.kif 1166-1168


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