No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2152-2152 | 股票 是 金融工具 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2153-2153 | 股票 是 投资 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2158-2158 | 普通股 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2166-2166 | 优先股 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2179-2179 | 蓝筹股 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2183-2183 | 成长股 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2187-2187 | 价值股票 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2191-2191 | 防守股票 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2195-2195 | 限制性股票 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2199-2199 | 便士股票 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3188-3188 | 借来的股票 是 股票 的 subclass |