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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 O argumento numero 1 de totalGDP e' uma instancia de Area Geopolitica
(domain totalGDP 2 CurrencyMeasure) Economy.kif 950-950 O argumento numero 2 de totalGDP e' uma instancia de Medida de Divisa
(instance totalGDP BinaryPredicate) Economy.kif 948-948 totalGDP e' uma instancia de Predicado Binario
(instance totalGDP PPPBasedEconomicValuation) Economy.kif 947-947 totalGDP e' uma instancia de PPPBasedEconomicValuation

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 totalGDPInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal totalGDP Area Geopolitica and Medida de Divisa vale durante Posicao Temporal


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