No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1666-1666 |
通胀指数 是 指数 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1744-1744 |
市场份额加权指数 是 指数 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1748-1748 |
市场价值加权指数 是 指数 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1730-1730 |
纳斯达克综合指数 是 指数 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1762-1762 |
Nikkei指数 是 指数 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1758-1758 |
价格加权指数 是 指数 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1692-1692 |
股票指数 是 指数 的 subclass |
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 |
|