| Mortgage(mortgage) | | chattel_mortgage, first_mortgage, mortgage, second_mortgage |
| appearance as argument number 1 |
|
|
| (documentation Mortgage EnglishLanguage "A loan to finance the purchase of real estate, usually with specified payment periods and interest rates.") | FinancialOntology.kif 1377-1378 | |
| (subclass Mortgage SecuredLoan) | FinancialOntology.kif 1376-1376 | Mortgage is a subclass of secured loan |
| appearance as argument number 2 |
|
|
| (subclass ConventionalMortgage Mortgage) | FinancialOntology.kif 1552-1552 | Conventional mortgage is a subclass of mortgage |
| (subclass FHALoan Mortgage) | FinancialOntology.kif 1534-1534 | FHA loan is a subclass of mortgage |
| (termFormat ChineseLanguage Mortgage "抵押") | domainEnglishFormat.kif 38631-38631 | FHA loan is a subclass of mortgage |
| (termFormat ChineseTraditionalLanguage Mortgage "抵押") | domainEnglishFormat.kif 38630-38630 | FHA loan is a subclass of mortgage |
| (termFormat EnglishLanguage Mortgage "mortgage") | domainEnglishFormat.kif 38629-38629 | FHA loan is a subclass of mortgage |
| antecedent |
|
|
| (=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate)) |
FinancialOntology.kif 1387-1391 | |
| (=> (instance ?Loan Mortgage) (exists (?Estate) (and (instance ?Estate RealEstate) (loanForPurchase ?Loan ?Estate)))) |
FinancialOntology.kif 1380-1385 |
|
|
|
|