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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Index
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

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


(subclass InflationIndex Index) FinancialOntology.kif 1621-1621
(subclass MarketShareWeightedIndex Index) FinancialOntology.kif 1713-1713
(subclass MarketValueWeightedIndex Index) FinancialOntology.kif 1717-1717
(subclass NASDAQCompositeIndex Index) FinancialOntology.kif 1699-1699
(subclass NikkeiIndex Index) FinancialOntology.kif 1731-1731
(subclass PriceWeightedIndex Index) FinancialOntology.kif 1727-1727
(subclass StockIndex Index) FinancialOntology.kif 1661-1661
(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