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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - inflationRate
inflationRate

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


(documentation inflationRate EnglishLanguage "The percentage increase in the price of goods and services, usually annually.") FinancialOntology.kif 1677-1678
(domain inflationRate 1 Inflation) FinancialOntology.kif 1675-1675 通货膨胀率 的 1 数量 是 通货膨胀instance
(domain inflationRate 2 RealNumber) FinancialOntology.kif 1676-1676 通货膨胀率 的 2 数量 是 实数instance
(instance inflationRate BinaryPredicate) FinancialOntology.kif 1674-1674 通货膨胀率二元谓语instance

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


(format ChineseLanguage inflationRate "%2 %n 是 %1 的 inflation 速率") domainEnglishFormat.kif 1333-1333
(format ChineseTraditionalLanguage inflationRate "%2 %n 是 %1 的 inflation 速率") domainEnglishFormat.kif 1332-1332
(format EnglishLanguage inflationRate "%2 is %n an inflation rate of %1") domainEnglishFormat.kif 1331-1331
(termFormat ChineseLanguage inflationRate "通货膨胀率") domainEnglishFormat.kif 29988-29988
(termFormat ChineseTraditionalLanguage inflationRate "通貨膨脹率") domainEnglishFormat.kif 29987-29987
(termFormat EnglishLanguage inflationRate "inflation rate") domainEnglishFormat.kif 29986-29986

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


(=>
    (inflationRateInCountry ?N ?R)
    (exists (?I)
        (and
            (instance ?I Inflation)
            (duration
                (WhenFn ?I) YearDuration)
            (experiencer ?I ?N)
            (inflationRate ?I ?R))))
FinancialOntology.kif 1686-1693


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