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 1683-1684
(domain inflationRateInCountry 1 Nation) FinancialOntology.kif 1681-1681 inflationRateInCountry 的 1 数量 是 国家instance
(domain inflationRateInCountry 2 RealNumber) FinancialOntology.kif 1682-1682 inflationRateInCountry 的 2 数量 是 实数instance
(instance inflationRateInCountry BinaryPredicate) FinancialOntology.kif 1680-1680 inflationRateInCountry二元谓语instance

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


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

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


(=>
    (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