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

KB Term:  Term intersection
English Word: 

Sigma KEE - sectorCompositionOfGDPInPeriod
sectorCompositionOfGDPInPeriod

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


(instance sectorCompositionOfGDPInPeriod PPPBasedEconomicValuation) Economy.kif 1143-1143 sector composition of GDP in period is an instance of PPP based economic valuation
(instance sectorCompositionOfGDPInPeriod QuaternaryPredicate) Economy.kif 1144-1144 sector composition of GDP in period is an instance of quaternary predicate
(domain sectorCompositionOfGDPInPeriod 1 GeopoliticalArea) Economy.kif 1145-1145 The number 1 argument of sector composition of GDP in period is an instance of geopolitical area
(domain sectorCompositionOfGDPInPeriod 2 IndustryAttribute) Economy.kif 1146-1146 The number 2 argument of sector composition of GDP in period is an instance of industry attribute
(domain sectorCompositionOfGDPInPeriod 3 RealNumber) Economy.kif 1147-1147 The number 3 argument of sector composition of GDP in period is an instance of real number
(domainSubclass sectorCompositionOfGDPInPeriod 4 TimeInterval) Economy.kif 1148-1148 The number 4 argument of sector composition of GDP in period is a subclass of timeframe
(documentation sectorCompositionOfGDPInPeriod EnglishLanguage "(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes the amount ?FRACTION to the Gross National Product during the TimeInterval indicated by ?PERIOD.") Economy.kif 1150-1154 The number 4 argument of sector composition of GDP in period is a subclass of timeframe

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


(format EnglishLanguage sectorCompositionOfGDPInPeriod "%1 is %n the sector composition of GDP in period %2 for %3 with %4") domainEnglishFormat.kif 2233-2233
(format ChineseTraditionalLanguage sectorCompositionOfGDPInPeriod "%1 %n 是 對於 %3 和 %4 在 週期 %2 的 GDP sector 組成") domainEnglishFormat.kif 2234-2234
(format ChineseLanguage sectorCompositionOfGDPInPeriod "%1 %n 是 对于 %3 和 %4 在 周期 %2 的 GDP sector 组成") domainEnglishFormat.kif 2235-2235
(termFormat EnglishLanguage sectorCompositionOfGDPInPeriod "sector composition of GDP in period") domainEnglishFormat.kif 51850-51850
(termFormat ChineseTraditionalLanguage sectorCompositionOfGDPInPeriod "期間GDP的部門構成") domainEnglishFormat.kif 51851-51851
(termFormat ChineseLanguage sectorCompositionOfGDPInPeriod "期间GDP的部门构成") domainEnglishFormat.kif 51852-51852

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


(=>
    (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1156-1158 If X is the sector composition of GDP in period Y for Z with W, then Z is less than or equal to 1.0
(<=>
    (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION)))))		 Economy.kif 1175-1180 X is the sector composition of GDP in period Y for Z with W if, only if there exists V such that V is an instance of W, and X is sector composition of GDP Y for Z holds during V
(=>
    (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