(subclass Mortgage SecuredLoan) | FinancialOntology.kif 1376-1376 | Mortgage は SecuredLoan の subclass では %n |
(subclass FHALoan Mortgage) | FinancialOntology.kif 1534-1534 | FHALoan は Mortgage の subclass では %n |
(subclass ConventionalMortgage Mortgage) | FinancialOntology.kif 1552-1552 | ConventionalMortgage は Mortgage の subclass では %n |