Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BalloonLoan(balloon loan) |
| appearance as argument number 1 |
|
| (subclass BalloonLoan Loan) | FinancialOntology.kif 1446-1446 | Balloon loan is a subclass of loan |
| (documentation BalloonLoan EnglishLanguage "A long_term loan, often a mortgage, that has one large payment (the balloon payment) due upon maturity. Often done when refinancing or a major cash flow event is anticipated.") | FinancialOntology.kif 1447-1449 | Balloon loan is a subclass of loan |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Loan BalloonLoan) (maturityDate ?Loan ?Date) (totalBalance ?Loan ?Amount) (borrower ?Loan ?Agent)) (holdsObligation ?Agent (exists (?Payment) (and (date ?Payment ?Date) (transactionAmount ?Payment ?Amount) (destination ?Payment (CurrencyFn ?Loan)))))) |
FinancialOntology.kif 1451-1462 | If X is an instance of balloon loan, Y is a maturity date of X, Z is a total balance of X, and X is the borrower of W, then W is obliged to perform tasks of type there exists V such that date of V is Y, Z is a transaction amount of V, and V ends up at the currency of X |
|