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 1629-1630
(subclass Index PerformanceMeasure) FinancialOntology.kif 1628-1628

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


(subclass InflationIndex Index) FinancialOntology.kif 1666-1666
(subclass MarketShareWeightedIndex Index) FinancialOntology.kif 1744-1744
(subclass MarketValueWeightedIndex Index) FinancialOntology.kif 1748-1748
(subclass NASDAQCompositeIndex Index) FinancialOntology.kif 1730-1730
(subclass NikkeiIndex Index) FinancialOntology.kif 1762-1762
(subclass PriceWeightedIndex Index) FinancialOntology.kif 1758-1758
(subclass StockIndex Index) FinancialOntology.kif 1692-1692
(termFormat ChineseLanguage Index "指数") domainEnglishFormat.kif 29587-29587
(termFormat ChineseTraditionalLanguage Index "指數") domainEnglishFormat.kif 29586-29586
(termFormat EnglishLanguage Index "index") domainEnglishFormat.kif 29585-29585

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


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


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