![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| populationFractionBelowPovertyLineInPeriod |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (format EnglishLanguage populationFractionBelowPovertyLineInPeriod "%1 is %n population fraction below poverty line in period %2 for %3") | domainEnglishFormat.kif 1993-1993 | |
| (format ChineseTraditionalLanguage populationFractionBelowPovertyLineInPeriod "%1 %n 對於 %3 在週期 %2 在貧困標準下的 population 部分") | domainEnglishFormat.kif 1994-1994 | |
| (format ChineseLanguage populationFractionBelowPovertyLineInPeriod "%1 %n 对于 %3 在周期 %2 在贫困标准下的 population 部分") | domainEnglishFormat.kif 1995-1995 | |
| (termFormat EnglishLanguage populationFractionBelowPovertyLineInPeriod "population fraction below poverty line in period") | domainEnglishFormat.kif 46656-46656 | |
| (termFormat ChineseTraditionalLanguage populationFractionBelowPovertyLineInPeriod "人口分數低於貧困線的時期") | domainEnglishFormat.kif 46657-46657 | |
| (termFormat ChineseLanguage populationFractionBelowPovertyLineInPeriod "人口分数低于贫困线的时期") | domainEnglishFormat.kif 46658-46658 |
| antecedent |
|
|
| (=> (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1255-1257 | If X is population fraction below poverty line in period Y for Z, then Y is less than or equal to 1.0 |
| (<=> (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 |