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 38597-38597 | |
(termFormat ChineseTraditionalLanguage Mortgage "抵押") | domainEnglishFormat.kif 38596-38596 | |
(termFormat EnglishLanguage Mortgage "mortgage") | domainEnglishFormat.kif 38595-38595 |
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 |