Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - sectorCompositionOfGDP
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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners