| 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 |
| appearance as argument number 2 |
|
|
| (subclass ConventionalMortgage Mortgage) | FinancialOntology.kif 1552-1552 | |
| (subclass FHALoan Mortgage) | FinancialOntology.kif 1534-1534 | |
| (termFormat ChineseLanguage Mortgage "抵押") | domainEnglishFormat.kif 38626-38626 | |
| (termFormat ChineseTraditionalLanguage Mortgage "抵押") | domainEnglishFormat.kif 38625-38625 | |
| (termFormat EnglishLanguage Mortgage "mortgage") | domainEnglishFormat.kif 38624-38624 |
| 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 |
|
|
|