TreeView Knowledge Base Browser - sectorCompositionOfGDP

appearance as argument number 1

(instance sectorCompositionOfGDP PPPBasedEconomicValuation)	Economy.kif 1160-1160	sector composition ofGDP is an instance of PPP based economic valuation
(instance sectorCompositionOfGDP TernaryPredicate)	Economy.kif 1161-1161	sector composition ofGDP is an instance of ternary predicate
(domain sectorCompositionOfGDP 1 GeopoliticalArea)	Economy.kif 1162-1162	The number 1 argument of sector composition ofGDP is an instance of geopolitical area
(domain sectorCompositionOfGDP 2 IndustryAttribute)	Economy.kif 1163-1163	The number 2 argument of sector composition ofGDP is an instance of industry attribute
(domain sectorCompositionOfGDP 3 RealNumber)	Economy.kif 1164-1164	The number 3 argument of sector composition ofGDP is an instance of real number
(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 1166-1169	The number 3 argument of sector composition ofGDP is an instance of real number

appearance as argument number 2

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

antecedent

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

Economy.kif 1171-1173

If X is sector composition of GDP Y for Z, then Z is less than or equal to 1.0

consequent

(<=>
    (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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: