Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| loanForPurchase |
| appearance as argument number 1 |
|
| (instance loanForPurchase BinaryPredicate) | FinancialOntology.kif 1350-1350 | loan for purchase is an instance of binary predicate |
| (domain loanForPurchase 1 Loan) | FinancialOntology.kif 1351-1351 | The number 1 argument of loan for purchase is an instance of loan |
| (domain loanForPurchase 2 Object) | FinancialOntology.kif 1352-1352 | The number 2 argument of loan for purchase is an instance of object |
| (documentation loanForPurchase EnglishLanguage "(loanForPurchase ?ACCOUNT ?PRODUCT) means that ?ACCOUNT is a loan to finance the purchase of ?PRODUCT.") | FinancialOntology.kif 1353-1354 | The number 2 argument of loan for purchase is an instance of object |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage loanForPurchase "%2 is %n a loan for purchase of %1") | domainEnglishFormat.kif 1549-1549 | |
| (format ChineseTraditionalLanguage loanForPurchase "%2 %n 是給 %1 購買的 loan ") | domainEnglishFormat.kif 1550-1550 | |
| (format ChineseLanguage loanForPurchase "%2 %n 是给 %1 购买的 loan ") | domainEnglishFormat.kif 1551-1551 | |
| (termFormat EnglishLanguage loanForPurchase "loan for purchase") | domainEnglishFormat.kif 34831-34831 | |
| (termFormat ChineseTraditionalLanguage loanForPurchase "貸款購買") | domainEnglishFormat.kif 34832-34832 | |
| (termFormat ChineseLanguage loanForPurchase "贷款购买") | domainEnglishFormat.kif 34833-34833 |
| 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 840-850 | If X Y(s) is a down payment of Z, W is a loan for purchase of Z, value of W is V Y(s), and equal U and (V and X), then U Y(s) is an original balance of Z |
| (=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate)) |
FinancialOntology.kif 1427-1431 | If X is an instance of mortgage and Y is a loan for purchase of X, then Y is a secured by of X |
| consequent |
|
|
| (=> (instance ?Loan Mortgage) (exists (?Estate) (and (instance ?Estate RealEstate) (loanForPurchase ?Loan ?Estate)))) |
FinancialOntology.kif 1420-1425 | 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 |
|