| 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 1393-1394 | |
| (subclass Mortgage SecuredLoan) | FinancialOntology.kif 1392-1392 | Mortgage is a subclass of secured loan |
| appearance as argument number 2 |
|
|
| (subclass ConventionalMortgage Mortgage) | FinancialOntology.kif 1568-1568 | Conventional mortgage is a subclass of mortgage |
| (subclass FHALoan Mortgage) | FinancialOntology.kif 1550-1550 | FHA loan is a subclass of mortgage |
| (termFormat ChineseLanguage Mortgage "抵押") | domainEnglishFormat.kif 38623-38623 | FHA loan is a subclass of mortgage |
| (termFormat ChineseTraditionalLanguage Mortgage "抵押") | domainEnglishFormat.kif 38622-38622 | FHA loan is a subclass of mortgage |
| (termFormat EnglishLanguage Mortgage "mortgage") | domainEnglishFormat.kif 38621-38621 | FHA loan is a subclass of mortgage |
| antecedent |
|
|
| (=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate)) |
FinancialOntology.kif 1403-1407 | |
| (=> (instance ?Loan Mortgage) (exists (?Estate) (and (instance ?Estate RealEstate) (loanForPurchase ?Loan ?Estate)))) |
FinancialOntology.kif 1396-1401 |
|
|
|
|