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 1116-1120
(domain sectorValueOfGDP 1 GeopoliticalArea) Economy.kif 1112-1112
(domain sectorValueOfGDP 2 IndustryAttribute) Economy.kif 1113-1113
(domain sectorValueOfGDP 3 CurrencyMeasure) Economy.kif 1114-1114
(instance sectorValueOfGDP PPPBasedEconomicValuation) Economy.kif 1110-1110
(instance sectorValueOfGDP TernaryPredicate) Economy.kif 1111-1111

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

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


(<=>
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorValueOfGDP ?AREA ?SECTOR ?AMOUNT)))))
Economy.kif 1122-1127


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