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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - industrialProductionGrowthRateInPeriod
industrialProductionGrowthRateInPeriod

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


(documentation industrialProductionGrowthRateInPeriod EnglishLanguage "(industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD) means that in the GeopoliticalArea ?AREA, the annual percentage increase in industrial production is ?RATE, for the TimeInterval ?PERIOD.") Economy.kif 2050-2053
(domain industrialProductionGrowthRateInPeriod 1 GeopoliticalArea) Economy.kif 2046-2046 The number 1 argument of industrial production growth rate in period is an instance of geopolitical area
(domain industrialProductionGrowthRateInPeriod 2 RealNumber) Economy.kif 2047-2047 The number 2 argument of industrial production growth rate in period is an instance of real number
(domainSubclass industrialProductionGrowthRateInPeriod 3 TimeInterval) Economy.kif 2048-2048 The number 3 argument of industrial production growth rate in period is a subclass of time interval
(instance industrialProductionGrowthRateInPeriod TernaryPredicate) Economy.kif 2045-2045 industrial production growth rate in period is an instance of ternary predicate

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


(format ChineseLanguage industrialProductionGrowthRateInPeriod "%1 %n 是 对于 %3 在周期 %2 的 industrial 生产成率") domainEnglishFormat.kif 1313-1313
(format ChineseTraditionalLanguage industrialProductionGrowthRateInPeriod "%1 %n 是 對於 %3 在週期 %2 的 industrial 生產成率") domainEnglishFormat.kif 1312-1312
(format EnglishLanguage industrialProductionGrowthRateInPeriod "%1 is %n industrial production growth rate in period %2 for %3") domainEnglishFormat.kif 1311-1311
(termFormat ChineseLanguage industrialProductionGrowthRateInPeriod "工业生产增长期") domainEnglishFormat.kif 29879-29879
(termFormat ChineseTraditionalLanguage industrialProductionGrowthRateInPeriod "工業生產增長期") domainEnglishFormat.kif 29878-29878
(termFormat EnglishLanguage industrialProductionGrowthRateInPeriod "industrial production growth rate in period") domainEnglishFormat.kif 29877-29877

antecedent
-------------------------


(<=>
    (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (industrialProductionGrowthRate ?AREA ?RATE)))))
Economy.kif 2064-2069 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 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