(subclass Mortgage SecuredLoan) | FinancialOntology.kif 1376-1376 | Mortgage est une sous-classe de SecuredLoan |
(subclass FHALoan Mortgage) | FinancialOntology.kif 1534-1534 | FHALoan est une sous-classe de Mortgage |
(subclass ConventionalMortgage Mortgage) | FinancialOntology.kif 1552-1552 | ConventionalMortgage est une sous-classe de Mortgage |