| appearance as argument number 1 |
|
|
| (subclass FinancialAccount Account) | ComputingBrands.kif 4447-4447 | Financial account is a subclass of account |
| (subclass FinancialAccount Agreement) | FinancialOntology.kif 60-60 | Financial account is a subclass of agreement |
| (documentation FinancialAccount EnglishLanguage "A formal banking, brokerage, or business relationship established to provide for regular services, dealings, and other financial transactions.") | FinancialOntology.kif 61-63 | Financial account is a subclass of agreement |
| (externalImage FinancialAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash_account_summary.png") | pictureList.kif 10015-10015 | Financial account is a subclass of agreement |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
FinancialOntology.kif 65-69 | If X is an instance of financial account, then X the attribute financial contract and X the attribute service contract |
| (=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 71-76 | If X is an instance of financial account, then there exists Y such that Y is an instance of financial organization and X is held by Y |
| (=> (and (instance ?Account FinancialAccount) (accountAt ?Account ?Bank)) (exists (?Activity) (and (instance ?Activity ControllingAnAccount) (patient ?Activity ?Account) (agent ?Activity ?Bank)))) |
FinancialOntology.kif 78-86 | If X is an instance of financial account and X is held by Y, then there exists Z such that Z is an instance of controlling an account, X is a patient of Z, and Y is an agent of Z |
| (=> (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 ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (transactionAmount ?Payment (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Payment)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (WhenFn ?Payment)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 410-426 | If All of the following hold: (1) X is an instance of payment (2) X originates at the currency of Y (3) Y is an instance of financial account (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after the time of existence of X for U W(s) |
| (=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 438-455 | If All of the following hold: (1) X is an instance of deposit (2) Y is an instance of financial account (3) X ends up at the currency of Y (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after after X for U W(s) |
| (=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 468-483 | If All of the following hold: (1) X is an instance of withdrawing from an account (2) Y is an instance of financial account (3) X originates at Y (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after after X for U W(s) |
| (=> (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 688-701 | 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 703-716 | 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 |
| (=> (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (instance ?Account FinancialAccount) (destination ?Payment (CurrencyFn ?Account)) (amountDue ?Account ?Amount ?DueDate) (before (EndFn ?Date) (BeginFn ?DueDate))) (instance ?Payment Prepayment)) |
FinancialOntology.kif 836-844 | If All of the following hold: (1) X is a transaction amount of Y (2) date of Y is Z (3) W is an instance of financial account (4) Y ends up at the currency of W (5) W amount due X for V (6) the end of Z happens before the beginning of V, then Y is an instance of prepayment |
| (<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1835-1845 | All of the following hold: (1) X is an instance of withdrawing from an account (2) Y is an instance of financial account (3) X originates at the currency of Y (4) there doesn't exist Z such that Z is an instance of penalizing (5) Z ends up at the currency of Y (6) X causes Z if (7) only if the liqudity of Y is high liquidity |
| (<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2338-2343 | X is an instance of financial account, Y possesses Z, equal X, the account of Z if, and only if Y holds account X |
| consequent |
|
|
| (=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 190-198 | If X is an instance of bank card and Y is an issued by of X, then there exists Z such that Z is an instance of financial account, Z is a card account of X, and Z is held by Y |
| (=> (and (instance ?Opening OpeningAnAccount) (eventLocated ?Opening ?Bank) (instance ?Bank FinancialOrganization) (agent ?Opening ?Agent) (equal (WhenFn ?Opening) ?OpeningTime)) (exists (?Account ?AccountPeriod) (and (agreementPeriod ?Account ?AccountPeriod) (meetsTemporally ?OpeningTime ?AccountPeriod) (instance ?Account FinancialAccount) (accountAt ?Account ?Bank) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 295-308 | If X is an instance of opening an account, X is located at Y, Y is an instance of financial organization, Z is an agent of X, and equal the time of existence of X and W, then there exist V, U such that U is an agreement period of V, W meets U, V is an instance of financial account, V is held by Y, and Z holds account V |
| (=> (and (instance ?Closing ClosingAnAccount) (patient ?Closing ?Account)) (and (holdsDuring (ImmediatePastFn (WhenFn ?Closing)) (instance ?Account FinancialAccount)) (holdsDuring (ImmediateFutureFn (WhenFn ?Closing)) (not (instance ?Account FinancialAccount))))) |
FinancialOntology.kif 393-403 | If X is an instance of closing an account and Y is a patient of X, then Y is an instance of financial account holds during immediately before the time of existence of X and Y is not an instance of financial account holds during immediately after the time of existence of X |
| (=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account))))) |
FinancialOntology.kif 461-466 | 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 |
| (=> (lastStatement ?ACCT ?STATEMENT) (instance ?ACCT FinancialAccount)) |
FinancialOntology.kif 3921-3923 | If X is a last statement of Y, then Y is an instance of financial account |
|
|
|