(=>
(and
(instance ?Using UsingAnAccount)
(patient ?Using ?Account)
(accountHolder ?Account ?Agent))
(agent ?Using ?Agent)) |
FinancialOntology.kif 313-318 |
If X is an instance of using an account, Y is a patient of X, and Z holds account Y, then Z is an agent of X |
(=>
(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
(accountHolder ?Account ?Agent)
(instance ?Agent Human))
(instance ?Account PersonalAccount)) |
FinancialOntology.kif 1018-1022 |
X holds account Y, X is an instance of human if, and only if Y is an instance of personal account |
(<=>
(and
(instance ?Account PersonalAccount)
(greaterThan
(CardinalityFn
(KappaFn ?Agent
(accountHolder ?Account ?Agent))) 1))
(instance ?Account JointAccount)) |
FinancialOntology.kif 1029-1036 |
X is an instance of personal account, the number of instances in the class described by Y is greater than 1 if, and only if X is an instance of joint account |
(<=>
(and
(accountHolder ?Account ?Agent)
(instance ?Agent Corporation))
(instance ?Account CorporateAccount)) |
FinancialOntology.kif 1043-1047 |
X holds account Y, X is an instance of corporation if, and only if Y is an instance of corporate account |
(=>
(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 ?Account LiabilityAccount)
(accountHolder ?Account ?Agent)
(accountAt ?Account ?Bank))
(exists (?Debt)
(and
(property ?Debt Liability)
(partyToAgreement ?Debt ?Agent)
(partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1199-1208 |
If X is an instance of liability account, Y holds account X, and X is held by Z, then there exists W such that W the attribute liability, Y is a party to agreement of W, and Z is a party to agreement of W |
(=>
(and
(instance ?P PensionPlan)
(accountHolder ?P ?A)
(employs ?O ?A))
(financialAccount ?P ?O)) |
FinancialOntology.kif 1217-1222 |
If X is an instance of pension plan, Y holds account X, and Z employs Y, then X is a financial account of Z |
(=>
(and
(instance ?PSP ProfitSharingPlan)
(accountHolder ?PSP ?H)
(employs ?O ?H)
(profit ?A
(MeasureFn ?P ?U))
(instance ?U UnitOfCurrency)
(agent ?A ?O))
(exists (?C ?PAY)
(and
(instance ?PAY FinancialTransaction)
(transactionAmount ?PAY
(MeasureFn ?C ?U))
(lessThan ?C ?P)
(destination ?PAY ?PSP)))) |
FinancialOntology.kif 1229-1244 |
If All of the following hold: (1) X is an instance of profit sharing plan (2) Y holds account X (3) Z employs Y (4) the profit from W is V U(s) (5) U is an instance of unit of currency (6) Z is an agent of W, then there exist T and S such that S is an instance of financial transaction and T U(s) is a transaction amount of S and T is less than V and S ends up at X |
(=>
(and
(instance ?Account CreditAccount)
(accountAt ?Account ?Organization)
(accountHolder ?Account ?Agent)
(interestEarned ?Account ?Interest ?Period))
(exists (?Payment)
(and
(origin ?Payment ?Agent)
(transactionAmount ?Payment ?Interest)
(destination ?Payment ?Organization)))) |
FinancialOntology.kif 1249-1259 |
If X is an instance of credit account, X is held by Y, Z holds account X, and X is interest earned W for V, then there exists U such that U originates at Z, W is a transaction amount of U, and U ends up at Y |
(=>
(and
(instance ?Account CreditAccount)
(accountHolder ?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 1261-1271 |
If All of the following hold: (1) X is an instance of credit account (2) Y holds account X (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 |
(=>
(and
(accountHolder ?Account ?Agent)
(accountAt ?Account ?Bank))
(customer ?Agent ?Bank)) |
FinancialOntology.kif 3679-3683 |
If X holds account Y and Y is held by Z, then Z is a customer of X |
