loanForPurchase |
appearance as argument number 1 |
(documentation loanForPurchase EnglishLanguage "(loanForPurchase ?ACCOUNT ?PRODUCT) means that ?ACCOUNT is a loan to finance the purchase of ?PRODUCT.") | FinancialOntology.kif 1314-1315 | |
(domain loanForPurchase 1 Loan) | FinancialOntology.kif 1312-1312 | O argumento numero 1 de loanForPurchase e' uma instancia de Loan |
(domain loanForPurchase 2 Object) | FinancialOntology.kif 1313-1313 | O argumento numero 2 de loanForPurchase e' uma instancia de Objeto |
(instance loanForPurchase BinaryPredicate) | FinancialOntology.kif 1311-1311 | loanForPurchase e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage loanForPurchase "%2 %n 是给 %1 购买的 loan ") | domainEnglishFormat.kif 1551-1551 | |
(format ChineseTraditionalLanguage loanForPurchase "%2 %n 是給 %1 購買的 loan ") | domainEnglishFormat.kif 1550-1550 | |
(format EnglishLanguage loanForPurchase "%2 is %n a loan for purchase of %1") | domainEnglishFormat.kif 1549-1549 | |
(termFormat ChineseLanguage loanForPurchase "贷款购买") | domainEnglishFormat.kif 34829-34829 | |
(termFormat ChineseTraditionalLanguage loanForPurchase "貸款購買") | domainEnglishFormat.kif 34828-34828 | |
(termFormat EnglishLanguage loanForPurchase "loan for purchase") | domainEnglishFormat.kif 34827-34827 |
antecedent |
(=> (and (downPayment ?Loan (MeasureFn ?Amount ?CUNIT)) (loanForPurchase ?Loan ?Purchase) (monetaryValue ?Purchase (MeasureFn ?Value ?CUNIT)) (equal ?Balance (SubtractionFn ?Value ?Amount))) (originalBalance ?Loan (MeasureFn ?Balance ?CUNIT))) |
FinancialOntology.kif 818-828 |
|
(=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate)) |
FinancialOntology.kif 1387-1391 |
consequent |
(=> (instance ?Loan Mortgage) (exists (?Estate) (and (instance ?Estate RealEstate) (loanForPurchase ?Loan ?Estate)))) |
FinancialOntology.kif 1380-1385 |
|