| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2152-2152 | Stock is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2153-2153 | Stock is a subclass of investment |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2158-2158 | Common stock is a subclass of stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2166-2166 | Preferred stock is a subclass of stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2179-2179 | Blue chip stock is a subclass of stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2183-2183 | Growth stock is a subclass of stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2187-2187 | Value stock is a subclass of stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2191-2191 | Defensive stock is a subclass of stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2195-2195 | Restricted stock is a subclass of stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2199-2199 | Penny stock is a subclass of stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3188-3188 | Borrowed stock is a subclass of stock |
|
|