| 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 | The number 1 argument of population fraction below poverty line is an instance of geopolitical area |
| (domain populationFractionBelowPovertyLine 2 RealNumber) | Economy.kif 1172-1172 | The number 2 argument of population fraction below poverty line is an instance of real number |
| (instance populationFractionBelowPovertyLine BinaryPredicate) | Economy.kif 1170-1170 | population fraction below poverty line is an instance of binary predicate |
| 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 46695-46695 | |
| (termFormat ChineseTraditionalLanguage populationFractionBelowPovertyLine "人口比例低於貧困線") | domainEnglishFormat.kif 46694-46694 | |
| (termFormat EnglishLanguage populationFractionBelowPovertyLine "population fraction below poverty line") | domainEnglishFormat.kif 46693-46693 |
| 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 | A geopolitical area is population fraction below poverty line in period a real number for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the real number is a population fraction below poverty line of the geopolitical area holds during the time position |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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