(=>
(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 |
(=>
(lender ?Loan ?Agent)
(exists (?Lending)
(and
(instance ?Lending Lending)
(agent ?Lending ?Agent)))) |
FinancialOntology.kif 1330-1335 |
If X lends Y, then there exists Z such that Z is an instance of lending and X is an agent of Z |
(=>
(and
(instance ?Loan Loan)
(securedBy ?Loan ?Security)
(lender ?Loan ?Bank)
(instance ?Default FinancialDefault)
(patient ?Default ?Loan))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?Default))
(possesses ?Bank ?Security))) |
FinancialOntology.kif 1373-1383 |
If X is an instance of loan, Y is a secured by of X, Z lends X, W is an instance of financial default, and X is a patient of W, then Z possesses Y holds during immediately after the time of existence of W |
(=>
(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 ?Loan BankTermLoan)
(lender ?Loan ?Lender))
(instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1533-1537 |
If X is an instance of bank term loan and Y lends X, then Y is an instance of bank |
(=>
(and
(instance ?Loan DayLoan)
(lender ?Loan ?Lender))
(instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1609-1613 |
If X is an instance of day loan and Y lends X, then Y is an instance of bank |
