| 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 数量 是 地缘政治区域 的 instance |
| (domain populationFractionBelowPovertyLineInPeriod 2 RealNumber) | Economy.kif 1156-1156 | 人口分数低于贫困线的时期 的 2 数量 是 实数 的 instance |
| (domainSubclass populationFractionBelowPovertyLineInPeriod 3 TimeInterval) | Economy.kif 1157-1157 | 人口分数低于贫困线的时期 的 3 数量 是 时距 的 subclass |
| (instance populationFractionBelowPovertyLineInPeriod TernaryPredicate) | Economy.kif 1154-1154 | 人口分数低于贫困线的时期 是 三元谓语 的 instance |
| 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 46663-46663 | |
| (termFormat ChineseTraditionalLanguage populationFractionBelowPovertyLineInPeriod "人口分數低於貧困線的時期") | domainEnglishFormat.kif 46662-46662 | |
| (termFormat EnglishLanguage populationFractionBelowPovertyLineInPeriod "population fraction below poverty line in period") | domainEnglishFormat.kif 46661-46661 |
| antecedent |
|
|
| (<=> (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
Economy.kif 1184-1189 | 地缘政治区域 对于 有点 时距 在周期 实数 在贫困标准下的 population 部分 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 在贫困标准下的 population 部分 在 那个 时间位置 holdsDuring |
| (=> (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