| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2152-2152 | 子類 股票 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2153-2153 | 子類 股票 and 投資 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2158-2158 | 子類 普通股 and 股票 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2166-2166 | 子類 優先股 and 股票 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2179-2179 | 子類 藍籌股 and 股票 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2183-2183 | 子類 成長股 and 股票 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2187-2187 | 子類 價值股票 and 股票 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2191-2191 | 子類 防守股票 and 股票 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2195-2195 | 子類 限制性股票 and 股票 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2199-2199 | 子類 便士股票 and 股票 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3188-3188 | 子類 借來的股票 and 股票 |
|
|