TreeView Knowledge Base Browser - 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	The number 1 argument of population fraction below poverty line is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1172-1172	The number 2 argument of population fraction below poverty line is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1170-1170	population fraction below poverty line is an instance of binary predicate

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 46657-46657
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46656-46656
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46655-46655

antecedent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 1180-1182

If a real number is a population fraction below poverty line of a geopolitical area,
then the real number is less than or equal to 1.0

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 1184-1189