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

Formal Language: 



KB Term:  Term intersection
English Word: 

  industrialProductionGrowthRate

Sigma KEE - industrialProductionGrowthRate
industrialProductionGrowthRate

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


(documentation industrialProductionGrowthRate EnglishLanguage "(industrialProductionGrowthRate ?AREA ?RATE) means that in the GeopoliticalArea ?AREA, the annual percentage increase in industrial production is ?RATE.") Economy.kif 1944-1947
(domain industrialProductionGrowthRate 1 GeopoliticalArea) Economy.kif 1941-1941 The number 1 argument of industrial production growth rate is an instance of geopolitical area
(domain industrialProductionGrowthRate 2 RealNumber) Economy.kif 1942-1942 The number 2 argument of industrial production growth rate is an instance of real number
(instance industrialProductionGrowthRate BinaryPredicate) Economy.kif 1940-1940 industrial production growth rate is an instance of binary predicate

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


(format ChineseLanguage industrialProductionGrowthRate "%2 %n 是 %1 的 %industrial 生产速率 %3 ") domainEnglishFormat.kif 1309-1309
(format ChineseTraditionalLanguage industrialProductionGrowthRate "%2 %n 是 %1 的 %industrial 生產速率 %3 ") domainEnglishFormat.kif 1308-1308
(format EnglishLanguage industrialProductionGrowthRate "%2 is %n an industrial production growth rate of %1") domainEnglishFormat.kif 1307-1307
(termFormat ChineseLanguage industrialProductionGrowthRate "工业生产增长率") domainEnglishFormat.kif 29845-29845
(termFormat ChineseTraditionalLanguage industrialProductionGrowthRate "工業生產增長率") domainEnglishFormat.kif 29844-29844
(termFormat EnglishLanguage industrialProductionGrowthRate "industrial production growth rate") domainEnglishFormat.kif 29843-29843

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


(<=>
    (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (industrialProductionGrowthRate ?AREA ?RATE)))))
Economy.kif 1949-1954 A geopolitical area is industrial production growth rate in period a real number for 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 real number is an industrial production growth rate of the geopolitical area holds during the time position


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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