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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Index

 Sigma KEE - Index
Index(指數)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1629-1630
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1628-1628 子類 指數 and 性能指標

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1666-1666 子類 通脹指數 and 指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1744-1744 子類 市場份額加權指數 and 指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1748-1748 子類 市場價值加權指數 and 指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1730-1730 子類 納斯達克綜合指數 and 指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1762-1762 子類 nikkei指數 and 指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1758-1758 子類 價格加權指數 and 指數
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1692-1692 子類 股票指數 and 指數
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29587-29587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29586-29586
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29585-29585

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1632-1637


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