| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2374-2374 | CorporateBond est une sous-classe de Bond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2375-2375 | CorporateBond est une sous-classe de TaxableInvestment |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2408-2408 | MortgageBond est une sous-classe de CorporateBond |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2413-2413 | JunkBond est une sous-classe de CorporateBond |
|
|