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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StockIndex

 Sigma KEE - StockIndex
StockIndex

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 StockIndex est une sous-classe de Index

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1715-1715 DAXIndex est une instance de StockIndex
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1706-1706 DowJonesIndex est une instance de StockIndex
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1721-1721 FTSE100Index est une instance de StockIndex
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1709-1709 NASDAQIndex est une instance de StockIndex
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1718-1718 NIFTY50Index est une instance de StockIndex
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1712-1712 Nikkei225Index est une instance de StockIndex
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1703-1703 SAndP500Index est une instance de StockIndex
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 Abstrait est une instance de StockIndex PerformanceMeasure PerformanceMeasure est une instance de Stock benchmark abstrait and PerformanceMeasure


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