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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalGDP

Sigma KEE - totalGDP
totalGDP

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


(documentation totalGDP EnglishLanguage "(totalGDP ?AREA ?AMOUNT) means that the value of all final goods and services produced within the GeopoliticalArea ?AREA is ?AMOUNT, in U.S. dollars, calculated on a purchasing power parity basis. This represents Gross Domestic Product (GDP). See PPPBasedEconomicValuation.") Economy.kif 952-956
(domain totalGDP 1 GeopoliticalArea) Economy.kif 949-949 The number 1 argument of totalGDP is an instance of geopolitical area
(domain totalGDP 2 CurrencyMeasure) Economy.kif 950-950 The number 2 argument of totalGDP is an instance of currency measure
(instance totalGDP BinaryPredicate) Economy.kif 948-948 totalGDP is an instance of binary predicate
(instance totalGDP PPPBasedEconomicValuation) Economy.kif 947-947 totalGDP is an instance of PPP based economic valuation

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


(format ChineseLanguage totalGDP "%2 %n 是 %1 的 total GDP") domainEnglishFormat.kif 2495-2495
(format ChineseTraditionalLanguage totalGDP "%2 %n 是 %1 的 total GDP") domainEnglishFormat.kif 2494-2494
(format EnglishLanguage totalGDP "%2 is %n a total GDP of %1") domainEnglishFormat.kif 2493-2493
(termFormat ChineseLanguage totalGDP "总GDP") domainEnglishFormat.kif 58556-58556
(termFormat ChineseTraditionalLanguage totalGDP "總GDP") domainEnglishFormat.kif 58555-58555
(termFormat EnglishLanguage totalGDP "totalGDP") domainEnglishFormat.kif 58554-58554

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


(<=>
    (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (totalGDP ?AREA ?AMOUNT)))))
Economy.kif 958-963 A geopolitical area is totalGDP in period a currency measure 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 currency measure is a total GDP of the geopolitical area holds during the time position


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

Show without tree


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