sectorValueOfGDP - Sigma Knowledge base Browser

appearance as argument number 1

(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 1123-1127
(domain sectorValueOfGDP 1 GeopoliticalArea)	Economy.kif 1119-1119	The number 1 argument of sector value of GDP is an instance of geopolitical area
(domain sectorValueOfGDP 2 IndustryAttribute)	Economy.kif 1120-1120	The number 2 argument of sector value of GDP is an instance of industry attribute
(domain sectorValueOfGDP 3 CurrencyMeasure)	Economy.kif 1121-1121	The number 3 argument of sector value of GDP is an instance of currency measure
(instance sectorValueOfGDP PPPBasedEconomicValuation)	Economy.kif 1117-1117	sector value of GDP is an instance of PPP based economic valuation
(instance sectorValueOfGDP TernaryPredicate)	Economy.kif 1118-1118	sector value of GDP is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage sectorValueOfGDP "%1 %n 是对于 %3 的 sector GDP 价值 %2 ")	domainEnglishFormat.kif 2235-2235
(format ChineseTraditionalLanguage sectorValueOfGDP "%1 %n 是對於 %3 的 sector GDP 價值 %2 ")	domainEnglishFormat.kif 2234-2234
(format EnglishLanguage sectorValueOfGDP "%1 is %n sector value of GDP %2 for %3")	domainEnglishFormat.kif 2233-2233
(termFormat ChineseLanguage sectorValueOfGDP "GDP的行业价值")	domainEnglishFormat.kif 51901-51901
(termFormat ChineseTraditionalLanguage sectorValueOfGDP "GDP的行業價值")	domainEnglishFormat.kif 51900-51900
(termFormat EnglishLanguage sectorValueOfGDP "sector value of GDP")	domainEnglishFormat.kif 51899-51899

consequent

(<=>
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR
        (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorValueOfGDP ?AREA ?SECTOR
                    (MeasureFn ?AMOUNT ?CUNIT))))))

Economy.kif 1129-1137

A geopolitical area is sector value of GDP in period an industry attribute for a real number an unit of measure(s) 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 value of GDP the industry attribute for the real number the unit of measure(s) 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

KB Term:			Term intersection

English Word: