| 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 61-63 | |
| (externalImage FinancialAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash_account_summary.png") | pictureList.kif 10015-10015 | |
| (subclass FinancialAccount Account) | ComputingBrands.kif 4536-4536 | |
| (subclass FinancialAccount Agreement) | FinancialOntology.kif 60-60 |
| appearance as argument number 2 |
|
|
| (range AccountFn FinancialAccount) | FinancialOntology.kif 2334-2334 | |
| (subclass CorporateAccount FinancialAccount) | FinancialOntology.kif 1015-1015 | |
| (subclass DepositAccount FinancialAccount) | FinancialOntology.kif 1026-1026 | |
| (subclass InterestBearingAccount FinancialAccount) | FinancialOntology.kif 970-970 | |
| (subclass LiabilityAccount FinancialAccount) | FinancialOntology.kif 1175-1175 | |
| (subclass PensionPlan FinancialAccount) | FinancialOntology.kif 1189-1189 | |
| (subclass PersonalAccount FinancialAccount) | FinancialOntology.kif 994-994 | |
| (termFormat ChineseLanguage FinancialAccount "金融账户") | domainEnglishFormat.kif 23748-23748 | |
| (termFormat ChineseTraditionalLanguage FinancialAccount "金融賬戶") | domainEnglishFormat.kif 23747-23747 | |
| (termFormat EnglishLanguage FinancialAccount "financial account") | domainEnglishFormat.kif 23746-23746 |
| appearance as argument number 3 |
|
|
| (domain CurrencyFn 1 FinancialAccount) | FinancialOntology.kif 285-285 | |
| (domain accountAt 1 FinancialAccount) | FinancialOntology.kif 232-232 | |
| (domain accountHolder 1 FinancialAccount) | FinancialOntology.kif 251-251 | |
| (domain accountNumber 1 FinancialAccount) | FinancialOntology.kif 3457-3457 | |
| (domain accountStatus 1 FinancialAccount) | FinancialOntology.kif 4017-4017 | |
| (domain administrator 1 FinancialAccount) | FinancialOntology.kif 4031-4031 | |
| (domain amountDue 1 FinancialAccount) | FinancialOntology.kif 651-651 | |
| (domain availableBalance 1 FinancialAccount) | FinancialOntology.kif 3825-3825 | |
| (domain availableCash 1 FinancialAccount) | FinancialOntology.kif 3848-3848 | |
| (domain buyingPowerAmount 1 FinancialAccount) | FinancialOntology.kif 4109-4109 | |
| (domain cardAccount 2 FinancialAccount) | FinancialOntology.kif 239-239 | |
| (domain checkAccount 2 FinancialAccount) | FinancialOntology.kif 245-245 | |
| (domain compoundInterest 1 FinancialAccount) | FinancialOntology.kif 554-554 | |
| (domain creditsPerPeriod 1 FinancialAccount) | FinancialOntology.kif 3889-3889 | |
| (domain currentAccountBalance 1 FinancialAccount) | FinancialOntology.kif 674-674 | |
| (domain currentInterestRate 1 FinancialAccount) | FinancialOntology.kif 616-616 | |
| (domain dailyLimit 1 FinancialAccount) | FinancialOntology.kif 4008-4008 | |
| (domain financialAccount 1 FinancialAccount) | FinancialOntology.kif 3819-3819 | |
| (domain fixedInterestRate 1 FinancialAccount) | FinancialOntology.kif 623-623 | |
| (domain interestEarned 1 FinancialAccount) | FinancialOntology.kif 524-524 | |
| (domain interestRatePerPeriod 1 FinancialAccount) | FinancialOntology.kif 582-582 | |
| (domain lastStatement 1 FinancialAccount) | FinancialOntology.kif 3916-3916 | |
| (domain lastStatementBalance 1 FinancialAccount) | FinancialOntology.kif 4057-4057 | |
| (domain liquidity 1 FinancialAccount) | FinancialOntology.kif 1830-1830 | |
| (domain marginBalanceAmount 1 FinancialAccount) | FinancialOntology.kif 4118-4118 | |
| 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 2338-2343 | |
| (<=> (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 | |
| (=> (and (instance ?Account FinancialAccount) (accountAt ?Account ?Bank)) (exists (?Activity) (and (instance ?Activity ControllingAnAccount) (patient ?Activity ?Account) (agent ?Activity ?Bank)))) |
FinancialOntology.kif 78-86 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
FinancialOntology.kif 65-69 | |
| (=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 71-76 |
| consequent |
|
|
| (=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 190-198 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account))))) |
FinancialOntology.kif 461-466 | |
| (=> (lastStatement ?ACCT ?STATEMENT) (instance ?ACCT FinancialAccount)) |
FinancialOntology.kif 3921-3923 |
|
|
|