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	The number 1 argument of sector composition ofGDP is an instance of geopolitical area
(domain sectorCompositionOfGDP 2 IndustryAttribute)	Economy.kif 1074-1074	The number 2 argument of sector composition ofGDP is an instance of industry attribute
(domain sectorCompositionOfGDP 3 RealNumber)	Economy.kif 1075-1075	The number 3 argument of sector composition ofGDP is an instance of real number
(instance sectorCompositionOfGDP PPPBasedEconomicValuation)	Economy.kif 1071-1071	sector composition ofGDP is an instance of PPP based economic valuation
(instance sectorCompositionOfGDP TernaryPredicate)	Economy.kif 1072-1072	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 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 51889-51889
(termFormat ChineseTraditionalLanguage sectorCompositionOfGDP "行業組成的GDP")	domainEnglishFormat.kif 51888-51888
(termFormat EnglishLanguage sectorCompositionOfGDP "sector composition ofGDP")	domainEnglishFormat.kif 51887-51887

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