| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2258-2258 | 键 是 投资 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2259-2259 | 键 是 金融工具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2308-2308 | 优惠券债券 是 键 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2328-2328 | 零息债券 是 键 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2357-2357 | 注册债券 是 键 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2362-2362 | 市政债券 是 键 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2374-2374 | 公司债券 是 键 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2387-2387 | 担保债券 是 键 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2430-2430 | 政府债券 是 键 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2452-2452 | 指数债券 是 键 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2456-2456 | 履约保证金 是 键 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2460-2460 | 国债 是 键 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2473-2473 | 可赎回的债券 是 键 的 subclass |
|
|