TreeView Knowledge Base Browser

appearance as argument number 1

(instance perCapitaGDP PPPBasedEconomicValuation)	Economy.kif 1121-1121	per capita GDP is an instance of PPP based economic valuation
(instance perCapitaGDP BinaryPredicate)	Economy.kif 1122-1122	per capita GDP is an instance of binary predicate
(domain perCapitaGDP 1 GeopoliticalArea)	Economy.kif 1123-1123	The number 1 argument of per capita GDP is an instance of geopolitical area
(domain perCapitaGDP 2 CurrencyMeasure)	Economy.kif 1124-1124	The number 2 argument of per capita GDP is an instance of currency measure
(documentation perCapitaGDP EnglishLanguage "(perCapitaGDP ?AREA ?AMOUNT) means that the Gross Domestic Product, on a per capita basis, for the GeopoliticalArea ?AREA is ?AMOUNT, calculated in U.S. dollars on a purchasing power parity basis. See PPPBasedEconomicValuation.")	Economy.kif 1126-1129	The number 2 argument of per capita GDP is an instance of currency measure

appearance as argument number 2

(format EnglishLanguage perCapitaGDP "%2 is %n a per capitaGDP of %1")	domainEnglishFormat.kif 1929-1929
(format ChineseTraditionalLanguage perCapitaGDP "%2 %n 是 %1 的 per 人頭 GDP")	domainEnglishFormat.kif 1930-1930
(format ChineseLanguage perCapitaGDP "%2 %n 是 %1 的 per 人头 GDP")	domainEnglishFormat.kif 1931-1931
(termFormat EnglishLanguage perCapitaGDP "per capita GDP")	domainEnglishFormat.kif 45077-45077
(termFormat ChineseTraditionalLanguage perCapitaGDP "人均GDP")	domainEnglishFormat.kif 45078-45078
(termFormat ChineseLanguage perCapitaGDP "人均GDp")	domainEnglishFormat.kif 45079-45079

consequent

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: