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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InflationIndex
InflationIndex

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


(subclass InflationIndex Index) FinancialOntology.kif 1666-1666

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


(subclass ConsumerPriceIndex InflationIndex) FinancialOntology.kif 1682-1682
(subclass ProducerPriceIndex InflationIndex) FinancialOntology.kif 1688-1688
(termFormat ChineseLanguage InflationIndex "通胀指数") domainEnglishFormat.kif 29995-29995
(termFormat ChineseTraditionalLanguage InflationIndex "通脹指數") domainEnglishFormat.kif 29994-29994
(termFormat EnglishLanguage InflationIndex "inflation index") domainEnglishFormat.kif 29993-29993

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


(<=>
    (instance ?Index InflationIndex)
    (exists (?Inflation)
        (and
            (instance ?Inflation Inflation)
            (benchmark ?Inflation ?Index))))
FinancialOntology.kif 1668-1673


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