| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2258-2258 | Bond is a subclass of investment |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2259-2259 | Bond is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2308-2308 | Coupon bond is a subclass of bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2328-2328 | Zero coupon bond is a subclass of bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2357-2357 | Registered bond is a subclass of bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2362-2362 | Municipal bond is a subclass of bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2374-2374 | Corporate bond is a subclass of bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2387-2387 | Secured bond is a subclass of bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2430-2430 | Government bond is a subclass of bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2452-2452 | Index bond is a subclass of bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2456-2456 | Performance bond is a subclass of bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2460-2460 | Treasury bond is a subclass of bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2473-2473 | Callable bond is a subclass of bond |
|
|