| Mortgage(mortgage) | | chattel_mortgage, first_mortgage, mortgage, second_mortgage |
| appearance as argument number 1 |
|
|
| (subclass Mortgage SecuredLoan) | FinancialOntology.kif 1392-1392 | Mortgage is a subclass of secured loan |
| (documentation Mortgage EnglishLanguage "A loan to finance the purchase of real estate, usually with specified payment periods and interest rates.") | FinancialOntology.kif 1393-1394 | Mortgage is a subclass of secured loan |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Loan Mortgage) (exists (?Estate) (and (instance ?Estate RealEstate) (loanForPurchase ?Loan ?Estate)))) |
FinancialOntology.kif 1396-1401 | If X is an instance of mortgage, then there exists Y such that Y is an instance of real estate and Y is a loan for purchase of X |
| (=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate)) |
FinancialOntology.kif 1403-1407 | If X is an instance of mortgage and Y is a loan for purchase of X, then Y is a secured by of X |
|
|
|