(=>
(and
(instance ?LOAN Loan)
(equal ?START
(BeginFn ?LOAN))
(totalBalance ?LOAN ?BAL))
(currentAccountBalance ?LOAN ?START ?BAL)) |
FinancialOntology.kif 1439-1444 |
If X is an instance of loan, equal Y and the beginning of X, and Z is a total balance of X, then X current account balance Y for Z |
(=>
(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 |
(=>
(and
(instance ?Loan CallableLoan)
(lender ?Loan ?Lender)
(borrower ?Loan ?Borrower)
(totalBalance ?Loan ?Amount)
(instance ?Call Call)
(agent ?Call ?Lender)
(patient ?Call ?Loan))
(holdsObligation ?Borrower
(exists (?Payment)
(and
(destination ?Payment ?Lender)
(time ?Payment
(ImmediateFutureFn
(WhenFn ?Call)))
(transactionAmount ?Payment ?Amount))))) |
FinancialOntology.kif 1469-1485 |
If All of the following hold: (1) X is an instance of callable loan (2) Y lends X (3) X is the borrower of Z (4) W is a total balance of X (5) V is an instance of call (6) Y is an agent of V (7) X is a patient of V, then Z is obliged to perform tasks of type there exists U such that U ends up at Y, U exists during immediately after the time of existence of V, and W is a transaction amount of U |
