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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalGDPInPeriod

 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 940-945
(domain totalGDPInPeriod 1 GeopoliticalArea) Economy.kif 936-936 O argumento numero 1 de totalGDPInPeriod e' uma instancia de Area Geopolitica
(domain totalGDPInPeriod 2 CurrencyMeasure) Economy.kif 937-937 O argumento numero 2 de totalGDPInPeriod e' uma instancia de Medida de Divisa
(domainSubclass totalGDPInPeriod 3 TimeInterval) Economy.kif 938-938 O argumento numero 3 de totalGDPInPeriod e' uma sub-classe de Intervalo Temporal
(instance totalGDPInPeriod PPPBasedEconomicValuation) Economy.kif 934-934 totalGDPInPeriod e' uma instancia de PPPBasedEconomicValuation
(instance totalGDPInPeriod TernaryPredicate) Economy.kif 935-935 totalGDPInPeriod e' uma instancia de Predicado Ternario

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


(format ChineseLanguage totalGDPInPeriod "%1 %n 是 对于 %3 在 周期 %2 的 totalGDP ") domainEnglishFormat.kif 2499-2499
(format ChineseTraditionalLanguage totalGDPInPeriod "%1 %n 是 對於 %3 在 週期 %2 的 totalGDP ") domainEnglishFormat.kif 2498-2498
(format EnglishLanguage totalGDPInPeriod "%1 is %n totalGDP in period %2 for %3") domainEnglishFormat.kif 2497-2497
(termFormat ChineseLanguage totalGDPInPeriod "期间的国内生产GDP总值") domainEnglishFormat.kif 58562-58562
(termFormat ChineseTraditionalLanguage totalGDPInPeriod "期間的國內生產GDP總值") domainEnglishFormat.kif 58561-58561
(termFormat EnglishLanguage totalGDPInPeriod "totalGDP in period") domainEnglishFormat.kif 58560-58560

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


(<=>
    (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
(=>
    (and
        (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
        (totalGDPInPeriod ?AREA
            (MeasureFn ?GDPAMOUNT ?CUNIT) ?PERIOD)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?GDPAMOUNT)))
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR
        (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD))		 Economy.kif 1107-1115


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