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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - inflationRateInCountry
inflationRateInCountry

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


(documentation inflationRateInCountry EnglishLanguage "The annually percentage increase in the price of goods and services for the given Nation.") FinancialOntology.kif 1626-1627
(domain inflationRateInCountry 1 Nation) FinancialOntology.kif 1624-1624
(domain inflationRateInCountry 2 RealNumber) FinancialOntology.kif 1625-1625
(instance inflationRateInCountry BinaryPredicate) FinancialOntology.kif 1623-1623

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


(format ChineseLanguage inflationRateInCountry "在 %1 的 inflation rate 是 %2 ") domainEnglishFormat.kif 3691-3691
(format ChineseTraditionalLanguage inflationRateInCountry "在 %1 的 inflation rate 是 %2 ") domainEnglishFormat.kif 3690-3690
(format EnglishLanguage inflationRateInCountry "the rate of inflation in %1 is %2") domainEnglishFormat.kif 3689-3689

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


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


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