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 1077-1080
(domain sectorCompositionOfGDP 1 GeopoliticalArea)	Economy.kif 1073-1073
(domain sectorCompositionOfGDP 2 IndustryAttribute)	Economy.kif 1074-1074
(domain sectorCompositionOfGDP 3 RealNumber)	Economy.kif 1075-1075
(instance sectorCompositionOfGDP PPPBasedEconomicValuation)	Economy.kif 1071-1071
(instance sectorCompositionOfGDP TernaryPredicate)	Economy.kif 1072-1072

appearance as argument number 2

(format ChineseLanguage sectorCompositionOfGDP "%1 %n 是对于 %3 的 GDP %2 sector 组成")	domainEnglishFormat.kif 2227-2227
(format ChineseTraditionalLanguage sectorCompositionOfGDP "%1 %n 是對於 %3 的 GDP %2 sector 組成")	domainEnglishFormat.kif 2226-2226
(format EnglishLanguage sectorCompositionOfGDP "%1 is %n sector composition of GDP %2 for %3")	domainEnglishFormat.kif 2225-2225
(termFormat ChineseLanguage sectorCompositionOfGDP "行业组成的GDP")	domainEnglishFormat.kif 51861-51861
(termFormat ChineseTraditionalLanguage sectorCompositionOfGDP "行業組成的GDP")	domainEnglishFormat.kif 51860-51860
(termFormat EnglishLanguage sectorCompositionOfGDP "sector composition ofGDP")	domainEnglishFormat.kif 51859-51859

antecedent

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

Economy.kif 1082-1084

consequent

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

Economy.kif 1086-1091