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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - totalGDPInPeriod
totalGDPInPeriod

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


(documentation totalGDPInPeriod EnglishLanguage "(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD) means that the value of all final goods and services produced within the GeopoliticalArea ?AREA is ?AMOUNT in the period indicated by ?PERIOD, measured in U.S. dollars calculated on a purchasing power parity basis. (See PPPBasedEconomicValuation.) This is the Gross Domestic Product for ?AREA for a specified period.") Economy.kif 936-941
(domain totalGDPInPeriod 1 GeopoliticalArea) Economy.kif 932-932 The number 1 argument of totalGDP in period is an instance of geopolitical area
(domain totalGDPInPeriod 2 CurrencyMeasure) Economy.kif 933-933 The number 2 argument of totalGDP in period is an instance of currency measure
(domainSubclass totalGDPInPeriod 3 TimeInterval) Economy.kif 934-934 The number 3 argument of totalGDP in period is a subclass of time interval
(instance totalGDPInPeriod PPPBasedEconomicValuation) Economy.kif 930-930 totalGDP in period is an instance of PPP based economic valuation
(instance totalGDPInPeriod TernaryPredicate) Economy.kif 931-931 totalGDP in period is an instance of ternary predicate

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


(format ChineseLanguage totalGDPInPeriod "%1 %n 是 对于 %3 在 周期 %2 的 totalGDP ") domainEnglishFormat.kif 2495-2495
(format ChineseTraditionalLanguage totalGDPInPeriod "%1 %n 是 對於 %3 在 週期 %2 的 totalGDP ") domainEnglishFormat.kif 2494-2494
(format EnglishLanguage totalGDPInPeriod "%1 is %n totalGDP in period %2 for %3") domainEnglishFormat.kif 2493-2493
(termFormat ChineseLanguage totalGDPInPeriod "期间的国内生产GDP总值") domainEnglishFormat.kif 58501-58501 "期间的国内生产GDP总值" is the printable form of totalGDP in period in ChineseLanguage
(termFormat ChineseTraditionalLanguage totalGDPInPeriod "期間的國內生產GDP總值") domainEnglishFormat.kif 58500-58500 "期間的國內生產GDP總值" is the printable form of totalGDP in period in ChineseTraditionalLanguage
(termFormat EnglishLanguage totalGDPInPeriod "totalGDP in period") domainEnglishFormat.kif 58499-58499 "totalGDP in period" is the printable form of totalGDP in period in english language

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


(<=>
    (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (totalGDP ?AREA ?AMOUNT)))))
Economy.kif 954-959 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
(=>
    (and
        (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
        (totalGDPInPeriod ?AREA ?GDPAMOUNT ?PERIOD)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?GDPAMOUNT)))
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD))
Economy.kif 1103-1108


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners