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


KB Term:  Term intersection
English Word: 

Sigma KEE - sectorValueOfGDP
sectorValueOfGDP

appearance as argument number 1
-------------------------


(instance sectorValueOfGDP PPPBasedEconomicValuation) Economy.kif 1206-1206 sector value of GDP is an instance of PPP based economic valuation
(instance sectorValueOfGDP TernaryPredicate) Economy.kif 1207-1207 sector value of GDP is an instance of ternary predicate
(domain sectorValueOfGDP 1 GeopoliticalArea) Economy.kif 1208-1208 The number 1 argument of sector value of GDP is an instance of geopolitical area
(domain sectorValueOfGDP 2 IndustryAttribute) Economy.kif 1209-1209 The number 2 argument of sector value of GDP is an instance of industry attribute
(domain sectorValueOfGDP 3 CurrencyMeasure) Economy.kif 1210-1210 The number 3 argument of sector value of GDP is an instance of currency measure
(documentation sectorValueOfGDP EnglishLanguage "(sectorValueOfGDP ?AREA ?SECTOR ?AMOUNT) means that for the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes ?AMOUNT to the Gross National Product, evaluated in U.S. dollars on a purchasing power parity basis. See PPPBasedEconomicValuation.") Economy.kif 1212-1216 The number 3 argument of sector value of GDP is an instance of currency measure

appearance as argument number 2
-------------------------


(format EnglishLanguage sectorValueOfGDP "%1 is %n sector value of GDP %2 for %3") domainEnglishFormat.kif 2237-2237
(format ChineseTraditionalLanguage sectorValueOfGDP "%1 %n 是 對於 %3 的 sector GDP 價值 %2 ") domainEnglishFormat.kif 2238-2238
(format ChineseLanguage sectorValueOfGDP "%1 %n 是 对于 %3 的 sector GDP 价值 %2 ") domainEnglishFormat.kif 2239-2239
(termFormat EnglishLanguage sectorValueOfGDP "sector value of GDP") domainEnglishFormat.kif 51856-51856
(termFormat ChineseTraditionalLanguage sectorValueOfGDP "GDP的行業價值") domainEnglishFormat.kif 51857-51857
(termFormat ChineseLanguage sectorValueOfGDP "GDP的行业价值") domainEnglishFormat.kif 51858-51858

consequent
-------------------------


(<=>
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR
        (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorValueOfGDP ?AREA ?SECTOR
                    (MeasureFn ?AMOUNT ?CUNIT))))))		 Economy.kif 1218-1226 X is sector value of GDP in period Y for Z W(s) with V if and only if there exists U such that U is an instance of V and X is sector value of GDP Y for Z W(s) holds during U


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