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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StockIndex

 Sigma KEE - StockIndex
StockIndex(stock index)
stock_index, stock_market_index

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1693-1694
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2005-2005
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1692-1692 Stock index is a subclass of index

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1715-1715 DAX is an instance of stock index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1706-1706 Dow Jones is an instance of stock index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1721-1721 FTSE100 is an instance of stock index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1709-1709 NASDAQ is an instance of stock index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1718-1718 NIFTY50 is an instance of stock index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1712-1712 Nikkei is an instance of stock index
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1703-1703 S&P 500 is an instance of stock index
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55404-55404
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55403-55403
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55402-55402

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1696-1701 An abstract is an instance of stock index if and only if there exists a performance measure such that the performance measure is an instance of stock and the performance measure is a benchmark of the abstract


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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