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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Index
Index(index)Dow-Jones_Industrial_Average, Dow_Jones, Standard_and_Poor's, Standard_and_Poor's_Index, business_index, price_index, price_level, producer_price_index, retail_price_index, wholesale_price_index

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


(documentation Index EnglishLanguage "A benchmark against which financial or economic performance is measured, such as the S&P 500 or the Consumer Price Index.") FinancialOntology.kif 1584-1585
(subclass Index PerformanceMeasure) FinancialOntology.kif 1583-1583 Index is a subclass of performance measure

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


(subclass InflationIndex Index) FinancialOntology.kif 1621-1621 Inflation index is a subclass of index
(subclass MarketShareWeightedIndex Index) FinancialOntology.kif 1692-1692 Market share weighted index is a subclass of index
(subclass MarketValueWeightedIndex Index) FinancialOntology.kif 1696-1696 Market value weighted index is a subclass of index
(subclass NASDAQCompositeIndex Index) FinancialOntology.kif 1678-1678 NASDAQ composite index is a subclass of index
(subclass NikkeiIndex Index) FinancialOntology.kif 1710-1710 Nikkei index is a subclass of index
(subclass PriceWeightedIndex Index) FinancialOntology.kif 1706-1706 Price weighted index is a subclass of index
(subclass StockIndex Index) FinancialOntology.kif 1661-1661 Stock index is a subclass of index
(termFormat ChineseLanguage Index "指数") domainEnglishFormat.kif 29574-29574
(termFormat ChineseTraditionalLanguage Index "指數") domainEnglishFormat.kif 29573-29573
(termFormat EnglishLanguage Index "index") domainEnglishFormat.kif 29572-29572

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


(=>
    (instance ?Index Index)
    (exists (?Performance)
        (and
            (benchmark ?Performance ?Index)
            (instance ?Performance EconomicIndicator))))
FinancialOntology.kif 1587-1592


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