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 industrialProductionGrowthRate の数値 1 引数は 地政学的地域 の instance では %n
(domain industrialProductionGrowthRate 2 RealNumber) Economy.kif 1942-1942 industrialProductionGrowthRate の数値 2 引数は 実数 の instance では %n
(instance industrialProductionGrowthRate BinaryPredicate) Economy.kif 1940-1940 industrialProductionGrowthRate は 2進述語 の instance では %n

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 industrialProductionGrowthRateInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n industrialProductionGrowthRate 地政学的地域 and 実数 は 時間位置 の during holds %n{ない}


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