| FinancialAccount
| |
| appearance as argument number 1 |
|
|
| (documentation FinancialAccount EnglishLanguage "A formal banking, brokerage, or business relationship established to provide for regular services, dealings, and other financial transactions.") | FinancialOntology.kif 59-61 | |
| (externalImage FinancialAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash-account-summary.png") | pictureList.kif 10036-10036 | |
| (subclass FinancialAccount Account) | ComputingBrands.kif 4512-4512 | |
| (subclass FinancialAccount Agreement) | FinancialOntology.kif 58-58 |
| appearance as argument number 2 |
|
|
| (range AccountFn FinancialAccount) | FinancialOntology.kif 2266-2266 | |
| (subclass CorporateAccount FinancialAccount) | FinancialOntology.kif 967-967 | |
| (subclass DepositAccount FinancialAccount) | FinancialOntology.kif 978-978 | |
| (subclass InterestBearingAccount FinancialAccount) | FinancialOntology.kif 922-922 | |
| (subclass LiabilityAccount FinancialAccount) | FinancialOntology.kif 1113-1113 | |
| (subclass PensionPlan FinancialAccount) | FinancialOntology.kif 1127-1127 | |
| (subclass PersonalAccount FinancialAccount) | FinancialOntology.kif 946-946 | |
| (termFormat ChineseLanguage FinancialAccount "金融账户") | domainEnglishFormat.kif 23727-23727 | |
| (termFormat ChineseTraditionalLanguage FinancialAccount "金融賬戶") | domainEnglishFormat.kif 23726-23726 | |
| (termFormat EnglishLanguage FinancialAccount "financial account") | domainEnglishFormat.kif 23725-23725 |
| appearance as argument number 3 |
|
|
| (domain CurrencyFn 1 FinancialAccount) | FinancialOntology.kif 283-283 | |
| (domain accountAt 1 FinancialAccount) | FinancialOntology.kif 230-230 | |
| (domain accountHolder 1 FinancialAccount) | FinancialOntology.kif 249-249 | |
| (domain accountNumber 1 FinancialAccount) | FinancialOntology.kif 3377-3377 | |
| (domain accountStatus 1 FinancialAccount) | FinancialOntology.kif 3890-3890 | |
| (domain administrator 1 FinancialAccount) | FinancialOntology.kif 3904-3904 | |
| (domain amountDue 1 FinancialAccount) | FinancialOntology.kif 609-609 | |
| (domain availableBalance 1 FinancialAccount) | FinancialOntology.kif 3696-3696 | |
| (domain availableCash 1 FinancialAccount) | FinancialOntology.kif 3719-3719 | |
| (domain buyingPowerAmount 1 FinancialAccount) | FinancialOntology.kif 3982-3982 | |
| (domain cardAccount 2 FinancialAccount) | FinancialOntology.kif 237-237 | |
| (domain checkAccount 2 FinancialAccount) | FinancialOntology.kif 243-243 | |
| (domain compoundInterest 1 FinancialAccount) | FinancialOntology.kif 524-524 | |
| (domain creditsPerPeriod 1 FinancialAccount) | FinancialOntology.kif 3760-3760 | |
| (domain currentAccountBalance 1 FinancialAccount) | FinancialOntology.kif 632-632 | |
| (domain currentInterestRate 1 FinancialAccount) | FinancialOntology.kif 574-574 | |
| (domain dailyLimit 1 FinancialAccount) | FinancialOntology.kif 3881-3881 | |
| (domain financialAccount 1 FinancialAccount) | FinancialOntology.kif 3690-3690 | |
| (domain fixedInterestRate 1 FinancialAccount) | FinancialOntology.kif 581-581 | |
| (domain interestEarned 1 FinancialAccount) | FinancialOntology.kif 498-498 | |
| (domain interestRatePerPeriod 1 FinancialAccount) | FinancialOntology.kif 544-544 | |
| (domain lastStatement 1 FinancialAccount) | FinancialOntology.kif 3788-3788 | |
| (domain lastStatementBalance 1 FinancialAccount) | FinancialOntology.kif 3930-3930 | |
| (domain liquidity 1 FinancialAccount) | FinancialOntology.kif 1763-1763 | |
| (domain marginBalanceAmount 1 FinancialAccount) | FinancialOntology.kif 3991-3991 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2270-2275 | |
| (<=> (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 1767-1777 | |
| (=> (and (instance ?Account FinancialAccount) (accountAt ?Account ?Bank)) (exists (?Activity) (and (instance ?Activity ControllingAnAccount) (patient ?Activity ?Account) (agent ?Activity ?Bank)))) |
FinancialOntology.kif 76-84 | |
| (=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account OpeningAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency)) (exists (?Payment) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment (MeasureFn ?Amount ?U)) (greaterThanOrEqualTo ?Amount ?Balance) (agreementEffectiveDate ?Account ?Date) (date ?Payment ?Date)))) |
FinancialOntology.kif 646-659 | |
| (=> (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 661-674 | |
| (=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit ?Amount) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) ?Balance1) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) ?Balance2)) |
FinancialOntology.kif 428-436 | |
| (=> (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (transactionAmount ?Payment ?Amount) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Payment)) ?Balance1) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (WhenFn ?Payment)) ?Balance2)) |
FinancialOntology.kif 408-416 | |
| (=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal ?Amount) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) ?Balance1) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) ?Balance2)) |
FinancialOntology.kif 449-457 | |
| (=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit) (and (instance ?Deposit Deposit) (instrument ?Deposit ?Check) (equal (WhenFn ?Deposit) ?DepositTime) (meetsTemporally ?ProcessingTime ?DepositTime) (transactionAmount ?Deposit ?Amount) (destination ?Deposit (CurrencyFn ?Account))))) |
FinancialOntology.kif 120-135 | |
| (=> (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 788-796 | |
| (=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
FinancialOntology.kif 63-67 | |
| (=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 69-74 |
| consequent |
|
|
| (=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 188-196 | |
| (=> (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 391-401 | |
| (=> (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 293-306 | |
| (=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account))))) |
FinancialOntology.kif 442-447 | |
| (=> (lastStatement ?ACCT ?STATEMENT) (instance ?ACCT FinancialAccount)) |
FinancialOntology.kif 3793-3795 |
|
|
|