TreeView Knowledge Base Browser - populationFractionBelowPovertyLine

appearance as argument number 1

(instance populationFractionBelowPovertyLine BinaryPredicate)	Economy.kif 1259-1259	population fraction below poverty line is an instance of binary predicate
(domain populationFractionBelowPovertyLine 1 GeopoliticalArea)	Economy.kif 1260-1260	The number 1 argument of population fraction below poverty line is an instance of geopolitical area
(domain populationFractionBelowPovertyLine 2 RealNumber)	Economy.kif 1261-1261	The number 2 argument of population fraction below poverty line is an instance of real number
(documentation populationFractionBelowPovertyLine EnglishLanguage "(populationFractionBelowPovertyLine ?AREA ?FRACTION) means that in the GeopoliticalArea ?AREA, the segment of the population living below the (locally defined) poverty line is ?FRACTION. Note that the definition of the poverty line varies internationally.")	Economy.kif 1263-1267	The number 2 argument of population fraction below poverty line is an instance of real number

appearance as argument number 2

(format EnglishLanguage populationFractionBelowPovertyLine "%2 is %n a population fraction below poverty line of %1")	domainEnglishFormat.kif 1989-1989
(format ChineseTraditionalLanguage populationFractionBelowPovertyLine "%2 %n 是 %1 在貧困標準下的 population 部分")	domainEnglishFormat.kif 1990-1990
(format ChineseLanguage populationFractionBelowPovertyLine "%2 %n 是 %1 在贫困标准下的 population 部分")	domainEnglishFormat.kif 1991-1991
(termFormat EnglishLanguage populationFractionBelowPovertyLine "population fraction below poverty line")	domainEnglishFormat.kif 46650-46650
(termFormat ChineseTraditionalLanguage populationFractionBelowPovertyLine "人口比例低於貧困線")	domainEnglishFormat.kif 46651-46651
(termFormat ChineseLanguage populationFractionBelowPovertyLine "人口比例低于贫困线")	domainEnglishFormat.kif 46652-46652

antecedent

(=>
(populationFractionBelowPovertyLine ?AREA ?FRACTION)
(lessThanOrEqualTo ?FRACTION 1.0))

Economy.kif 1269-1271

If X is a population fraction below poverty line of Y, then X is less than or equal to 1.0

consequent

(<=>
    (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (populationFractionBelowPovertyLine ?AREA ?FRACTION)))))

Economy.kif 1273-1278

X is population fraction below poverty line in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is a population fraction below poverty line of X holds during W

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: