| (subclass CorporateBond Bond) | FinancialOntology.kif 2374-2374 | CorporateBond は Bond の subclass では %n |
| (subclass CorporateBond TaxableInvestment) | FinancialOntology.kif 2375-2375 | CorporateBond は TaxableInvestment の subclass では %n |
| (subclass MortgageBond CorporateBond) | FinancialOntology.kif 2408-2408 | MortgageBond は CorporateBond の subclass では %n |
| (subclass JunkBond CorporateBond) | FinancialOntology.kif 2413-2413 | JunkBond は CorporateBond の subclass では %n |
|
|