No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2137-2137 | Taxable investment is a subclass of investment |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2375-2375 | Corporate bond is a subclass of taxable investment |