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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(domain totalGDP 2 CurrencyMeasure) Economy.kif 950-950
(instance totalGDP BinaryPredicate) Economy.kif 948-948
(instance totalGDP PPPBasedEconomicValuation) Economy.kif 947-947

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


    (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (totalGDP ?AREA ?AMOUNT)))))
Economy.kif 958-963

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