Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - populationFractionBelowPovertyLineInPeriod
populationFractionBelowPovertyLineInPeriod

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 The number 1 argument of population fraction below poverty line in period is an instance of geopolitical area
(domain populationFractionBelowPovertyLineInPeriod 2 RealNumber) Economy.kif 1156-1156 The number 2 argument of population fraction below poverty line in period is an instance of real number
(domainSubclass populationFractionBelowPovertyLineInPeriod 3 TimeInterval) Economy.kif 1157-1157 The number 3 argument of population fraction below poverty line in period is a subclass of time interval
(instance populationFractionBelowPovertyLineInPeriod TernaryPredicate) Economy.kif 1154-1154 population fraction below poverty line in period is an instance of ternary predicate

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 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
(=>
    (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