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