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 股票指数 是 指数 的 subclass

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1715-1715 DAXIndex 是 股票指数 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1706-1706 DowJonesIndex 是 股票指数 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1721-1721 FTSE100Index 是 股票指数 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1709-1709 NASDAQIndex 是 股票指数 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1718-1718 NIFTY50Index 是 股票指数 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1712-1712 Nikkei225Index 是 股票指数 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1703-1703 SAndP500Index 是 股票指数 的 instance
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 抽象体 是 股票指数 的 instance 若且唯若 有存在 性能指标 这样 那个 性能指标 是 股票 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark


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