| appearance as argument number 1 |
|
| (documentation populationFractionBelowPovertyLineInPeriod EnglishLanguage "(populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, the segment of the population living below the (locally defined) poverty line is ?FRACTION during the TimeInterval indicated by ?PERIOD. Note that the definition of the poverty line varies internationally.") | Economy.kif 1159-1164 | |
| (domain populationFractionBelowPovertyLineInPeriod 1 GeopoliticalArea) | Economy.kif 1155-1155 | 域 人口分數低於貧困線的時期, 1 and GeopoliticalArea |
| (domain populationFractionBelowPovertyLineInPeriod 2 RealNumber) | Economy.kif 1156-1156 | 域 人口分數低於貧困線的時期, 2 and RealNumber |
| (domainSubclass populationFractionBelowPovertyLineInPeriod 3 TimeInterval) | Economy.kif 1157-1157 | 域子類 人口分數低於貧困線的時期, 3 and TimeInterval |
| (instance populationFractionBelowPovertyLineInPeriod TernaryPredicate) | Economy.kif 1154-1154 | 例 人口分數低於貧困線的時期 and TernaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage populationFractionBelowPovertyLineInPeriod "%1 %n 对于 %3 在周期 %2 在贫困标准下的 population 部分") | domainEnglishFormat.kif 1991-1991 | |
| (format ChineseTraditionalLanguage populationFractionBelowPovertyLineInPeriod "%1 %n 對於 %3 在週期 %2 在貧困標準下的 population 部分") | domainEnglishFormat.kif 1990-1990 | |
| (format EnglishLanguage populationFractionBelowPovertyLineInPeriod "%1 is %n population fraction below poverty line in period %2 for %3") | domainEnglishFormat.kif 1989-1989 | |
| (termFormat ChineseLanguage populationFractionBelowPovertyLineInPeriod "人口分数低于贫困线的时期") | domainEnglishFormat.kif 46665-46665 | |
| (termFormat ChineseTraditionalLanguage populationFractionBelowPovertyLineInPeriod "人口分數低於貧困線的時期") | domainEnglishFormat.kif 46664-46664 | |
| (termFormat EnglishLanguage populationFractionBelowPovertyLineInPeriod "population fraction below poverty line in period") | domainEnglishFormat.kif 46663-46663 |
| antecedent |
|
|
| (<=> (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
Economy.kif 1184-1189 | GeopoliticalArea 對於 TimeInterval 在週期 RealNumber 在貧困標準下的 population 部分 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 在貧困標準下的 population 部分 |
| (=> (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1166-1168 |
|
|
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