(=>
(and
(borrower ?Loan ?Borrower)
(lender ?Loan ?Lender)
(agreementPeriod ?Loan ?Period)
(interestEarned ?Loan ?Interest ?Period))
(exists (?Payment)
(and
(origin ?Payment ?Borrower)
(transactionAmount ?Payment ?Interest)
(destination ?Payment ?Lender)))) |
FinancialOntology.kif 1299-1309 |
If X is the borrower of Y, Z lends X, W is an agreement period of X, and X is interest earned V for W, then there exists U such that U originates at Y, V is a transaction amount of U, and U ends up at Z |
(=>
(and
(instance ?Account Loan)
(borrower ?Account ?Agent)
(principalAmount ?Account ?Principal)
(agreementPeriod ?Account ?Period)
(interestEarned ?Account ?Interest ?Period)
(equal ?Total
(AdditionFn ?Principal ?Interest)))
(holdsObligation ?Agent
(exists (?Payment)
(transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 1311-1321 |
If All of the following hold: (1) X is an instance of loan (2) X is the borrower of Y (3) Z is a principal amount of X (4) W is an agreement period of X (5) X is interest earned V for W (6) equal U and (Z and V), then Y is obliged to perform tasks of type there exists T such that U is a transaction amount of T |
(=>
(borrower ?Loan ?Agent)
(exists (?Borrowing)
(and
(instance ?Borrowing Borrowing)
(agent ?Borrowing ?Agent)))) |
FinancialOntology.kif 1343-1348 |
If X is the borrower of Y, then there exists Z such that Z is an instance of borrowing and Y is an agent of 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 |
(=>
(and
(instance ?Refinancing Refinancing)
(time ?Refinancing ?Time)
(instance ?Loan Loan)
(securedBy ?Loan ?Collateral)
(borrower ?Loan ?Borrower)
(currentAccountBalance ?Loan ?Time ?Amount)
(patient ?Refinancing ?Loan))
(exists (?NewLoan ?Payment)
(and
(instance ?NewLoan Loan)
(borrower ?NewLoan ?Borrower)
(securedBy ?Loan ?Collateral)
(destination ?Payment
(CurrencyFn ?Loan))
(time ?Payment ?Time)
(origin ?Payment
(CurrencyFn ?NewLoan))
(transactionAmount ?Payment ?Amount)))) |
FinancialOntology.kif 1491-1508 |
If All of the following hold: (1) X is an instance of refinancing (2) X exists during Y (3) Z is an instance of loan (4) W is a secured by of Z (5) Z is the borrower of V (6) Z current account balance Y for U (7) Z is a patient of X, then All of the following hold: (1) there exist T (2) S such that T is an instance of loan (3) T is the borrower of V (4) W is a secured by of Z (5) S ends up at the currency of Z (6) S exists during Y (7) S originates at the currency of T (8) U is a transaction amount of S |
(=>
(and
(instance ?Loan BrokerLoan)
(borrower ?Loan ?Borrower))
(attribute ?Borrower Broker)) |
FinancialOntology.kif 1555-1559 |
If X is an instance of broker loan and X is the borrower of Y, then broker is an attribute of Y |
(=>
(and
(instance ?Loan DayLoan)
(borrower ?Loan ?Borrower))
(attribute ?Borrower Broker)) |
FinancialOntology.kif 1615-1619 |
If X is an instance of day loan and X is the borrower of Y, then broker is an attribute of Y |
borrower