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 The number 1 argument of sector value ofGD p is an instance of geopolitical area
(domain sectorValueOfGDP 2 IndustryAttribute) Economy.kif 1113-1113 The number 2 argument of sector value ofGD p is an instance of industry attribute
(domain sectorValueOfGDP 3 CurrencyMeasure) Economy.kif 1114-1114 The number 3 argument of sector value ofGD p is an instance of currency measure
(instance sectorValueOfGDP PPPBasedEconomicValuation) Economy.kif 1110-1110 sector value ofGD p is an instance of PPP based economic valuation
(instance sectorValueOfGDP TernaryPredicate) Economy.kif 1111-1111 sector value ofGD p is an instance of ternary predicate

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


(format EnglishLanguage sectorValueOfGDP "%1 %n{doesn't} sector value ofGD p %2 for %3") domainEnglishFormat.kif 566-566
(termFormat EnglishLanguage sectorValueOfGDP "sector value ofGD p") domainEnglishFormat.kif 9067-9067 "sector value ofGD p" is the printable form of sector value ofGD p in english language

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


(<=>
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorValueOfGDP ?AREA ?SECTOR ?AMOUNT)))))
Economy.kif 1122-1127 A geopolitical area sector value ofGDP in period an industry attribute for a currency measure 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 sector value ofGD p the industry attribute for the currency measure 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners