Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - sectorCompositionOfGDP
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 The number 1 argument of sector composition ofGDP is an instance of geopolitical area
(domain sectorCompositionOfGDP 2 IndustryAttribute) Economy.kif 1069-1069 The number 2 argument of sector composition ofGDP is an instance of industry attribute
(domain sectorCompositionOfGDP 3 RealNumber) Economy.kif 1070-1070 The number 3 argument of sector composition ofGDP is an instance of real number
(instance sectorCompositionOfGDP PPPBasedEconomicValuation) Economy.kif 1066-1066 sector composition ofGDP is an instance of PPP based economic valuation
(instance sectorCompositionOfGDP TernaryPredicate) Economy.kif 1067-1067 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 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 A geopolitical area %is sector composition of GDP in period an industry attribute for a real number with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area %is sector composition of GDP the industry attribute for the real number holds during the time position


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners