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 |
|