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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - sectorValueOfGDP
sectorValueOfGDP

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 GDP的行业价值 的 1 数量 是 地缘政治区域instance
(domain sectorValueOfGDP 2 IndustryAttribute) Economy.kif 1120-1120 GDP的行业价值 的 2 数量 是 行业属性instance
(domain sectorValueOfGDP 3 CurrencyMeasure) Economy.kif 1121-1121 GDP的行业价值 的 3 数量 是 货币测量instance
(instance sectorValueOfGDP PPPBasedEconomicValuation) Economy.kif 1117-1117 GDP的行业价值基于PPP的经济估值instance
(instance sectorValueOfGDP TernaryPredicate) Economy.kif 1118-1118 GDP的行业价值三元谓语instance

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 51861-51861
(termFormat ChineseTraditionalLanguage sectorValueOfGDP "GDP的行業價值") domainEnglishFormat.kif 51860-51860
(termFormat EnglishLanguage sectorValueOfGDP "sector value of GDP") domainEnglishFormat.kif 51859-51859

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 地缘政治区域 实数 测量单位 有点 时距 在 周期 行业属性sector GDP 价值 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 地缘政治区域 是 对于 那个 实数 那个 测量单位sector GDP 价值 那个 行业属性那个 时间位置 holdsDuring


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