populationFractionBelowPovertyLine |
appearance as argument number 1 |
(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 1174-1178 | |
(domain populationFractionBelowPovertyLine 1 GeopoliticalArea) | Economy.kif 1171-1171 | O argumento numero 1 de populationFractionBelowPovertyLine e' uma instancia de Area Geopolitica |
(domain populationFractionBelowPovertyLine 2 RealNumber) | Economy.kif 1172-1172 | O argumento numero 2 de populationFractionBelowPovertyLine e' uma instancia de Numero Real |
(instance populationFractionBelowPovertyLine BinaryPredicate) | Economy.kif 1170-1170 | populationFractionBelowPovertyLine e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage populationFractionBelowPovertyLine "%2 %n 是 %1 在贫困标准下的 population 部分") | domainEnglishFormat.kif 1987-1987 | |
(format ChineseTraditionalLanguage populationFractionBelowPovertyLine "%2 %n 是 %1 在貧困標準下的 population 部分") | domainEnglishFormat.kif 1986-1986 | |
(format EnglishLanguage populationFractionBelowPovertyLine "%2 is %n a population fraction below poverty line of %1") | domainEnglishFormat.kif 1985-1985 | |
(termFormat ChineseLanguage populationFractionBelowPovertyLine "人口比例低于贫困线") | domainEnglishFormat.kif 46657-46657 | |
(termFormat ChineseTraditionalLanguage populationFractionBelowPovertyLine "人口比例低於貧困線") | domainEnglishFormat.kif 46656-46656 | |
(termFormat EnglishLanguage populationFractionBelowPovertyLine "population fraction below poverty line") | domainEnglishFormat.kif 46655-46655 |
antecedent |
(=> (populationFractionBelowPovertyLine ?AREA ?FRACTION) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1180-1182 |
|
consequent |
(<=> (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
Economy.kif 1184-1189 | populationFractionBelowPovertyLineInPeriod Area Geopolitica, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal populationFractionBelowPovertyLine Area Geopolitica and Numero Real vale durante Posicao Temporal |