TreeView Knowledge Base Browser - sectorCompositionOfGDP

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 1072-1075
(domain sectorCompositionOfGDP 1 GeopoliticalArea)	Economy.kif 1068-1068
(domain sectorCompositionOfGDP 2 IndustryAttribute)	Economy.kif 1069-1069
(domain sectorCompositionOfGDP 3 RealNumber)	Economy.kif 1070-1070
(instance sectorCompositionOfGDP PPPBasedEconomicValuation)	Economy.kif 1066-1066
(instance sectorCompositionOfGDP TernaryPredicate)	Economy.kif 1067-1067

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 51832-51832
(termFormat ChineseTraditionalLanguage sectorCompositionOfGDP "行業組成的GDP")	domainEnglishFormat.kif 51831-51831
(termFormat EnglishLanguage sectorCompositionOfGDP "sector composition ofGDP")	domainEnglishFormat.kif 51830-51830

antecedent

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

Economy.kif 1077-1079

consequent

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

Economy.kif 1081-1086