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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子類 股票指數 and 指數

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1715-1715 例 DAXIndex and 股票指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1706-1706 例 DowJonesIndex and 股票指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1721-1721 例 FTSE100Index and 股票指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1709-1709 例 NASDAQIndex and 股票指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1718-1718 例 NIFTY50Index and 股票指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1712-1712 例 Nikkei225Index and 股票指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1703-1703 例 SAndP500Index and 股票指數
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 例 Abstract and 股票指數 性能指標 例 性能指標 and 股票 性能指標 是 Abstract 的 benchmark


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