sectorCompositionOfGDP - Sigma Knowledge base Browser

appearance as argument number 1

(documentation sectorCompositionOfGDP EnglishLanguage "(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION) means that in the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes the amount ?FRACTION to the Gross National Product.")	Economy.kif 1168-1171
(domain sectorCompositionOfGDP 1 GeopoliticalArea)	Economy.kif 1164-1164	The number 1 argument of sector composition ofGDP is an instance of geopolitical area
(domain sectorCompositionOfGDP 2 IndustryAttribute)	Economy.kif 1165-1165	The number 2 argument of sector composition ofGDP is an instance of industry attribute
(domain sectorCompositionOfGDP 3 RealNumber)	Economy.kif 1166-1166	The number 3 argument of sector composition ofGDP is an instance of real number
(instance sectorCompositionOfGDP PPPBasedEconomicValuation)	Economy.kif 1162-1162	sector composition ofGDP is an instance of PPP based economic valuation
(instance sectorCompositionOfGDP TernaryPredicate)	Economy.kif 1163-1163	sector composition ofGDP is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage sectorCompositionOfGDP "%1 %n 是对于 %3 的 GDP %2 sector 组成")	domainEnglishFormat.kif 2231-2231
(format ChineseTraditionalLanguage sectorCompositionOfGDP "%1 %n 是對於 %3 的 GDP %2 sector 組成")	domainEnglishFormat.kif 2230-2230
(format EnglishLanguage sectorCompositionOfGDP "%1 is %n sector composition of GDP %2 for %3")	domainEnglishFormat.kif 2229-2229
(termFormat ChineseLanguage sectorCompositionOfGDP "行业组成的GDP")	domainEnglishFormat.kif 51882-51882
(termFormat ChineseTraditionalLanguage sectorCompositionOfGDP "行業組成的GDP")	domainEnglishFormat.kif 51881-51881
(termFormat EnglishLanguage sectorCompositionOfGDP "sector composition ofGDP")	domainEnglishFormat.kif 51880-51880

antecedent

(=>
(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION)
(lessThanOrEqualTo ?FRACTION 1.0))

Economy.kif 1173-1175

consequent

(<=>
    (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION)))))

Economy.kif 1177-1182