Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - perCapitaGDPInPeriod
perCapitaGDPInPeriod

appearance as argument number 1
-------------------------


(instance perCapitaGDPInPeriod PPPBasedEconomicValuation) Economy.kif 1108-1108 per capitaGDP in period is an instance of PPP based economic valuation
(instance perCapitaGDPInPeriod TernaryPredicate) Economy.kif 1109-1109 per capitaGDP in period is an instance of ternary predicate
(domain perCapitaGDPInPeriod 1 GeopoliticalArea) Economy.kif 1110-1110 The number 1 argument of per capitaGDP in period is an instance of geopolitical area
(domain perCapitaGDPInPeriod 2 CurrencyMeasure) Economy.kif 1111-1111 The number 2 argument of per capitaGDP in period is an instance of currency measure
(domain perCapitaGDPInPeriod 3 TimeInterval) Economy.kif 1112-1112 The number 3 argument of per capitaGDP in period is an instance of timeframe
(documentation perCapitaGDPInPeriod EnglishLanguage "(perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD) means that the Gross Domestic Product, on a per capita basis, for the GeopoliticalArea ?AREA is ?AMOUNT during the period indicated by ?PERIOD, calculated in U.S. dollars on a purchasing power parity basis. See PPPBasedEconomicValuation.") Economy.kif 1114-1119 The number 3 argument of per capitaGDP in period is an instance of timeframe

appearance as argument number 2
-------------------------


(format EnglishLanguage perCapitaGDPInPeriod "%1 is %n per capitaGDP in period %2 for %3") domainEnglishFormat.kif 1933-1933
(format ChineseTraditionalLanguage perCapitaGDPInPeriod "%1 %n 是 對於 %3 在週期 %2 的 per 人頭 GDP") domainEnglishFormat.kif 1934-1934
(format ChineseLanguage perCapitaGDPInPeriod "%1 %n 是 对于 %3 在周期 %2 的 per 人头 GDP") domainEnglishFormat.kif 1935-1935
(termFormat EnglishLanguage perCapitaGDPInPeriod "per capitaGDP in period") domainEnglishFormat.kif 45083-45083
(termFormat ChineseTraditionalLanguage perCapitaGDPInPeriod "人均國內生產總值") domainEnglishFormat.kif 45084-45084
(termFormat ChineseLanguage perCapitaGDPInPeriod "人均国内生产总值") domainEnglishFormat.kif 45085-45085

antecedent
-------------------------


(<=>
    (perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (perCapitaGDP ?AREA ?AMOUNT)))))		 Economy.kif 1131-1136 X is per capitaGDP in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is a per capitaGDP of X holds during W

consequent
-------------------------


(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 756.0))))		 Economy.kif 440-447 If X is an instance of timeframe and low income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is less than 756.0
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (greaterThanOrEqualTo ?AMOUNT 756.0))))		 Economy.kif 456-463 If X is an instance of timeframe and lower middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is greater than or equal to 756.0
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 2996.0))))		 Economy.kif 465-472 If X is an instance of timeframe and lower middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is less than 2996.0
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (greaterThanOrEqualTo ?AMOUNT 2996.0))))		 Economy.kif 481-488 If X is an instance of timeframe and upper middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is greater than or equal to 2996.0
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 9267.0))))		 Economy.kif 490-497 If X is an instance of timeframe and upper middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is less than 9267.0


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners