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

KB Term:  Term intersection
English Word: 

Sigma KEE - totalGDPInPeriod
totalGDPInPeriod

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


(instance totalGDPInPeriod PPPBasedEconomicValuation) Economy.kif 986-986 totalGDP in period is an instance of PPP based economic valuation
(instance totalGDPInPeriod TernaryPredicate) Economy.kif 987-987 totalGDP in period is an instance of ternary predicate
(domain totalGDPInPeriod 1 GeopoliticalArea) Economy.kif 988-988 The number 1 argument of totalGDP in period is an instance of geopolitical area
(domain totalGDPInPeriod 2 CurrencyMeasure) Economy.kif 989-989 The number 2 argument of totalGDP in period is an instance of currency measure
(domainSubclass totalGDPInPeriod 3 TimeInterval) Economy.kif 990-990 The number 3 argument of totalGDP in period is a subclass of timeframe
(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 992-997 The number 3 argument of totalGDP in period is a subclass of timeframe

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


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

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


(<=>
    (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (totalGDP ?AREA ?AMOUNT)))))		 Economy.kif 1010-1015 X is totalGDP in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is a total GDP of X holds during W
(=>
    (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 1196-1204 If X is the sector composition of GDP in period Y for Z with W, X is totalGDP in period V U(s) for W, and equal T, Z, and V, then X is sector value of GDP in period Y for T U(s) with W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners