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

Formal Language: 



KB Term:  Term intersection
English Word: 

  populationFractionBelowPovertyLine

Sigma KEE - populationFractionBelowPovertyLine
populationFractionBelowPovertyLine

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1174-1178
No TPTP formula. May not be expressible in strict first order. Economy.kif 1171-1171 人口比例低於貧困線, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 1172-1172 人口比例低於貧困線, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order. Economy.kif 1170-1170 人口比例低於貧困線 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1987-1987
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1986-1986
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1985-1985
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46659-46659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46658-46658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46657-46657

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1180-1182

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


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 部分


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