(=>
(and
(monetaryValue ?Check ?Amount)
(instance ?Processing ProcessingACheck)
(patient ?Processing ?Check)
(destination ?Processing
(CurrencyFn ?Account))
(instance ?Account FinancialAccount)
(equal
(WhenFn ?Processing) ?ProcessingTime))
(exists (?Deposit ?DepositTime)
(and
(instance ?Deposit Deposit)
(instrument ?Deposit ?Check)
(equal
(WhenFn ?Deposit) ?DepositTime)
(meetsTemporally ?ProcessingTime ?DepositTime)
(transactionAmount ?Deposit ?Amount)
(destination ?Deposit
(CurrencyFn ?Account))))) |
FinancialOntology.kif 122-137 |
If All of the following hold: (1) value of X is Y (2) Z is an instance of processing a check (3) X is a patient of Z (4) Z ends up at the currency of W (5) W is an instance of financial account (6) equal the time of existence of Z and V, then All of the following hold: (1) there exist U (2) T such that U is an instance of deposit (3) X is an instrument for U (4) equal the time of existence of U (5) T (6) V meets T (7) Y is a transaction amount of U (8) U ends up at the currency of W |
(=>
(and
(instance ?Depositing DepositingACheck)
(patient ?Depositing ?Check)
(instance ?Check Check)
(checkAccount ?Check ?Account)
(monetaryValue ?Check ?Amount))
(exists (?Deposit)
(and
(instance ?Deposit Deposit)
(destination ?Deposit
(CurrencyFn ?Account))
(transactionAmount ?Deposit ?Amount)))) |
FinancialOntology.kif 342-353 |
If X is an instance of depositing a check, Y is a patient of X, Y is an instance of check, Z is a check account of Y, and value of Y is W, then there exists V such that V is an instance of deposit, V ends up at the currency of Z, and W is a transaction amount of V |
(=>
(instance ?Deposit Deposit)
(exists (?Account)
(destination ?Deposit
(CurrencyFn ?Account)))) |
FinancialOntology.kif 452-455 |
If X is an instance of deposit, then there exists Y such that X ends up at the currency of Y |
(=>
(instance ?Withdrawal Withdrawal)
(exists (?Account)
(and
(instance ?Account FinancialAccount)
(origin ?Withdrawal
(CurrencyFn ?Account))))) |
FinancialOntology.kif 480-485 |
If X is an instance of withdrawing from an account, then there exists Y such that Y is an instance of financial account and X originates at the currency of Y |
(=>
(and
(amountDue ?Account ?Amount ?DueDate)
(accountHolder ?Account ?Agent))
(holdsObligation ?Agent
(exists (?Payment)
(and
(instance ?Payment Payment)
(transactionAmount ?Payment ?Amount)
(or
(destination ?Payment
(CurrencyFn ?Account))
(origin ?Payment
(CurrencyFn ?Account)))
(date ?Payment ?Date)
(beforeOrEqual
(EndFn ?Date)
(BeginFn ?DueDate)))))) |
FinancialOntology.kif 676-689 |
If X amount due Y for Z and W holds account X, then W is obliged to perform tasks of type there exists V such that V is an instance of payment, Y is a transaction amount of V, V ends up at the currency of X, V originates at the currency of X, date of V is U, and the end of U happens before, or at the beginning of Z |
(=>
(and
(instance ?Account FinancialAccount)
(minimumBalance ?Account OpeningAnAccount
(MeasureFn ?Balance ?U))
(instance ?U UnitOfCurrency))
(exists (?Payment ?Date ?Amount)
(and
(destination ?Payment
(CurrencyFn ?Account))
(transactionAmount ?Payment
(MeasureFn ?Amount ?U))
(greaterThanOrEqualTo ?Amount ?Balance)
(agreementEffectiveDate ?Account ?Date)
(date ?Payment ?Date)))) |
FinancialOntology.kif 708-721 |
If X is an instance of financial account, X is minimum balance opening an account for Y Z(s), and Z is an instance of unit of currency, then there exist W, V and U such that W ends up at the currency of X and U Z(s) is a transaction amount of W and U is greater than or equal to Y and V is an agreement effective date of X and date of W is V |
(=>
(and
(instance ?Account FinancialAccount)
(minimumBalance ?Account UsingAnAccount
(MeasureFn ?Balance ?U))
(instance ?U UnitOfCurrency)
(currentAccountBalance ?Account ?Date
(MeasureFn ?Amount ?U))
(lessThan ?Amount ?Balance))
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(date ?Penalty ?Date)
(destination ?Penalty
(CurrencyFn ?Account))))) |
FinancialOntology.kif 723-736 |
If X is an instance of financial account, X is minimum balance using an account for Y Z(s), Z is an instance of unit of currency, X current account balance W for V Z(s), and V is less than Y, then there exists U such that U is an instance of penalizing, date of U is W, and U ends up at the currency of X |
(=>
(periodicPayment ?Account ?Amount ?Period)
(exists (?Payment ?Class)
(and
(instance ?Payment Payment)
(origin ?Payment
(CurrencyFn ?Account))
(transactionAmount ?Payment ?Amount)
(instance ?Payment ?Class)
(frequency ?Class ?Period)))) |
FinancialOntology.kif 764-772 |
If X is periodic payment Y for Z, then there exist W, V such that W is an instance of payment, W originates at the currency of X, Y is a transaction amount of W, W is an instance of V, and V occurs every Z |
(=>
(and
(instance ?Account LiabilityAccount)
(minimumPayment ?Account
(MeasureFn ?MinPayment ?U) MonthDuration)
(instance ?U UnitOfCurrency)
(instance ?Month Month)
(destination ?Payment
(CurrencyFn ?Account))
(paymentsPerPeriod ?Account
(MeasureFn ?Amount ?U) ?Month)
(lessThan ?Amount ?MinPayment))
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(destination ?Penalty
(CurrencyFn ?Account))))) |
FinancialOntology.kif 781-797 |
If All of the following hold: (1) X is an instance of liability account (2) X is minimum payment Y Z(s) for month duration (3) Z is an instance of unit of currency (4) W is an instance of month (5) V ends up at the currency of X (6) X payments per period U Z(s) for W (7) U is less than Y, then there exists T such that T is an instance of penalizing and T ends up at the currency of X |
(=>
(and
(downPayment ?Loan ?Amount)
(agreementEffectiveDate ?Loan ?Date))
(exists (?Payment)
(and
(transactionAmount ?Payment ?Amount)
(date ?Payment ?Date)
(destination ?Payment
(CurrencyFn ?Loan))))) |
FinancialOntology.kif 829-838 |
If X is a down payment of Y and Z is an agreement effective date of Y, then there exists W such that X is a transaction amount of W, date of W is Z, and W ends up at the currency of Y |
(=>
(and
(instance ?Account SavingsAccount)
(accountHolder ?Account ?Agent)
(interestEarned ?Account ?Interest ?Period))
(exists (?Payment)
(and
(destination ?Payment
(CurrencyFn ?Account))
(transactionAmount ?Payment ?Interest)
(destination ?Payment ?Agent)))) |
FinancialOntology.kif 1068-1077 |
If X is an instance of savings account, Y holds account X, and X is interest earned Z for W, then there exists V such that V ends up at the currency of X, Z is a transaction amount of V, and V ends up at Y |
(=>
(and
(instance ?CD CertificateOfDeposit)
(maturityDate ?CD ?MaturityDate)
(instance ?Withdrawal Withdrawal)
(origin ?Withdrawal
(CurrencyFn ?CD))
(date ?Withdrawal ?DateOfWithdrawal)
(before
(EndFn ?DateOfWithdrawal)
(BeginFn ?MaturityDate)))
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(destination ?Penalty
(CurrencyFn ?CD))
(causes ?Withdrawal ?Penalty)))) |
FinancialOntology.kif 1112-1124 |
If All of the following hold: (1) X is an instance of certificate of deposit (2) Y is a maturity date of X (3) Z is an instance of withdrawing from an account (4) Z originates at the currency of X (5) date of Z is W (6) the end of W happens before the beginning of Y, then there exists V such that V is an instance of penalizing, V ends up at the currency of X, and Z causes V |
(=>
(and
(instance ?Account TraditionalSavingsAccount)
(instance ?Withdrawal Withdrawal)
(origin ?Withdrawal
(CurrencyFn ?Account)))
(not
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(destination ?Penalty
(CurrencyFn ?Account))
(causes ?Withdrawal ?Penalty))))) |
FinancialOntology.kif 1140-1149 |
If X is an instance of traditional savings account, Y is an instance of withdrawing from an account, and Y originates at the currency of X, then there doesn't exist Z such that Z is an instance of penalizing, Z ends up at the currency of X, and Y causes 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 ?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 |
(=>
(instance ?Loan ConsolidationLoan)
(exists (?Loan1 ?Loan2 ?Payment1 ?Payment2)
(and
(instance ?Loan1 Loan)
(instance ?Loan2 Loan)
(destination ?Payment1
(CurrencyFn ?Loan1))
(destination ?Payment2
(CurrencyFn ?Loan2))
(origin ?Payment1
(CurrencyFn ?Loan))
(origin ?Payment2
(CurrencyFn ?Loan))))) |
FinancialOntology.kif 1565-1574 |
If X is an instance of consolidation loan, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of loan (3) Z is an instance of loan (4) W ends up at the currency of Y (5) V ends up at the currency of Z (6) W originates at the currency of X (7) V originates at the currency of X |
(=>
(and
(instance ?Statement BankStatement)
(statementAccount ?Statement ?Account))
(exists (?Transaction)
(and
(instance ?Transaction FinancialTransaction)
(or
(origin ?Transaction
(CurrencyFn ?Account))
(destination ?Transaction
(CurrencyFn ?Account)))
(realization ?Statement ?Transaction)))) |
FinancialOntology.kif 3943-3953 |
If X is an instance of bank statement and Y is a statement account of X, then there exists Z such that Z is an instance of financial transaction, Z originates at the currency of Y or Z ends up at the currency of Y, and X expresses the content of Z |
CurrencyFn