FinancialAccount - Sigma Knowledge base Browser

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	"http://upload.wikimedia.org/wikipedia/commons/9/99/ Gnucash-account-summary.png" is a URL depicting financial account
(subclass FinancialAccount Agreement)	FinancialOntology.kif 58-58	Financial account is a subclass of agreement

appearance as argument number 2

(range AccountFn FinancialAccount)	FinancialOntology.kif 2248-2248	The range of account is an instance of financial account
(subclass CorporateAccount FinancialAccount)	FinancialOntology.kif 958-958	Corporate account is a subclass of financial account
(subclass DepositAccount FinancialAccount)	FinancialOntology.kif 969-969	Deposit account is a subclass of financial account
(subclass InterestBearingAccount FinancialAccount)	FinancialOntology.kif 913-913	Interest bearing account is a subclass of financial account
(subclass LiabilityAccount FinancialAccount)	FinancialOntology.kif 1104-1104	Liability account is a subclass of financial account
(subclass PensionPlan FinancialAccount)	FinancialOntology.kif 1118-1118	Pension plan is a subclass of financial account
(subclass PersonalAccount FinancialAccount)	FinancialOntology.kif 937-937	Personal account is a subclass of financial account
(termFormat EnglishLanguage FinancialAccount "financial account")	domainEnglishFormat.kif 4377-4377	"financial account" is the printable form of financial account in english language

appearance as argument number 3

(domain CurrencyFn 1 FinancialAccount)	FinancialOntology.kif 283-283	The number 1 argument of currency is an instance of financial account
(domain accountAt 1 FinancialAccount)	FinancialOntology.kif 230-230	The number 1 argument of account at is an instance of financial account
(domain accountHolder 1 FinancialAccount)	FinancialOntology.kif 249-249	The number 1 argument of account holder is an instance of financial account
(domain accountNumber 1 FinancialAccount)	FinancialOntology.kif 3328-3328	The number 1 argument of account number is an instance of financial account
(domain accountStatus 1 FinancialAccount)	FinancialOntology.kif 3835-3835	The number 1 argument of account status is an instance of financial account
(domain administrator 1 FinancialAccount)	FinancialOntology.kif 3849-3849	The number 1 argument of administrator is an instance of financial account
(domain amountDue 1 FinancialAccount)	FinancialOntology.kif 609-609	The number 1 argument of amount due is an instance of financial account
(domain availableBalance 1 FinancialAccount)	FinancialOntology.kif 3647-3647	The number 1 argument of available balance is an instance of financial account
(domain availableCash 1 FinancialAccount)	FinancialOntology.kif 3667-3667	The number 1 argument of available cash is an instance of financial account
(domain buyingPowerAmount 1 FinancialAccount)	FinancialOntology.kif 3928-3928	The number 1 argument of buying power amount is an instance of financial account
(domain cardAccount 2 FinancialAccount)	FinancialOntology.kif 237-237	The number 2 argument of card account is an instance of financial account
(domain checkAccount 2 FinancialAccount)	FinancialOntology.kif 243-243	The number 2 argument of check account is an instance of financial account
(domain compoundInterest 1 FinancialAccount)	FinancialOntology.kif 524-524	The number 1 argument of compound interest is an instance of financial account
(domain creditsPerPeriod 1 FinancialAccount)	FinancialOntology.kif 3705-3705	The number 1 argument of credits per period is an instance of financial account
(domain currentAccountBalance 1 FinancialAccount)	FinancialOntology.kif 632-632	The number 1 argument of current account balance is an instance of financial account
(domain currentInterestRate 1 FinancialAccount)	FinancialOntology.kif 574-574	The number 1 argument of current interest rate is an instance of financial account
(domain dailyLimit 1 FinancialAccount)	FinancialOntology.kif 3826-3826	The number 1 argument of daily limit is an instance of financial account
(domain financialAccount 1 FinancialAccount)	FinancialOntology.kif 3641-3641	The number 1 argument of financialAccount is an instance of financial account
(domain fixedInterestRate 1 FinancialAccount)	FinancialOntology.kif 581-581	The number 1 argument of fixed interest rate is an instance of financial account
(domain interestEarned 1 FinancialAccount)	FinancialOntology.kif 498-498	The number 1 argument of interest earned is an instance of financial account
(domain interestRatePerPeriod 1 FinancialAccount)	FinancialOntology.kif 544-544	The number 1 argument of interest rate per period is an instance of financial account
(domain lastStatement 1 FinancialAccount)	FinancialOntology.kif 3733-3733	The number 1 argument of last statement is an instance of financial account
(domain lastStatementBalance 1 FinancialAccount)	FinancialOntology.kif 3875-3875	The number 1 argument of last statement balance is an instance of financial account
(domain liquidity 1 FinancialAccount)	FinancialOntology.kif 1752-1752	The number 1 argument of liquidity is an instance of financial account
(domain marginBalanceAmount 1 FinancialAccount)	FinancialOntology.kif 3937-3937	The number 1 argument of margin balance amount is an instance of financial account

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 2252-2257	A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial account
(<=> (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 1756-1766	A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
(=> (and (instance ?Account FinancialAccount) (accountAt ?Account ?Bank)) (exists (?Activity) (and (instance ?Activity ControllingAnAccount) (patient ?Activity ?Account) (agent ?Activity ?Bank))))	FinancialOntology.kif 76-84	If a financial account is an instance of financial account and the financial account is held by a financial organization, then there exists a process such that the process is an instance of controlling an account and the financial account is a patient of the process and the financial organization is an agent of the process
(=> (and (instance ?Deposit Deposit) (time ?Deposit ?TimeOfDeposit) (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-437	If a financial transaction is an instance of deposit and the financial transaction exists during a time position and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and a currency measure is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another currency measure and a third currency measure is equal to (the other currency measure and the currency measure), then the financial account current account balance immediately after after the financial transaction for the third currency measure
(=> (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	If a financial transaction is an instance of payment and the financial transaction originates at the currency of a financial account and the financial account is an instance of financial account and a currency measure is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another currency measure and a third currency measure is equal to (the other currency measure and the currency measure), then the financial account current account balance immediately after the time of existence of the financial transaction for the third currency measure
(=> (and (instance ?Withdrawal Withdrawal) (time ?Withdrawal ?TimeOfWithdrawal) (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 450-459	If a financial transaction is an instance of withdrawal and the financial transaction exists during a time position and a financial account is an instance of financial account and the financial transaction originates at the financial account and a currency measure is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another currency measure and a third currency measure is equal to (the other currency measure and the currency measure), then the financial account current account balance immediately after after the financial transaction for the third currency measure
(=> (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	If value of an object is a currency measure and a process is an instance of processingA check and the object is a patient of the process and the process ends up at the currency of a financial account and the financial account is an instance of financial account and the time of existence of the process is equal to the processTime, then there exists a financial transaction such that the financial transaction is an instance of deposit and the object is an instrument for the financial transaction and the time of existence of the financial transaction is equal to the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the currency of the financial account
(=> (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (instance ?Account FinancialAccount) (destination ?Payment (CurrencyFn ?Account)) (amountDue ?Account ?AmountDue ?DueDate) (before (EndFn ?Date) (BeginFn ?DueDate))) (instance ?Payment Prepayment))	FinancialOntology.kif 779-787	If a currency measure is a transaction amount of a financial transaction and date of the financial transaction is a day and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and the financial account amount due the currency measureDue for a time interval and the end of the day happens before the beginning of the time interval, then the financial transaction is an instance of prepayment
(=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract)))	FinancialOntology.kif 63-67	If an entity is an instance of financial account, then the entity has an attribute financial contract and the entity has an attribute service contract
(=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization))))	FinancialOntology.kif 69-74	If a financial account is an instance of financial account, then there exists a financial organization such that the financial organization is an instance of financial organization and the financial account is held by the financial organization

consequent

(=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank))))	FinancialOntology.kif 188-196	If a bank card is an instance of bank card and a financial organization is an issued by of the bank card, then there exists a financial account such that the financial account is an instance of financial account and the financial account is a card account of the bank card and the financial account is held by the financial organization
(=> (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	If a process is an instance of closing an account and an entity is a patient of the process, then the entity is an instance of financial account holds during immediately before the time of existence of the process and the entity is not an instance of financial account holds during immediately after the time of existence of the process
(=> (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	If a process is an instance of opening an account and the process is located at 2 and a financial organization is an instance of financial organization and a cognitive agent is an agent of the process and the time of existence of the process is equal to the processTime, then there exist a financial account and the financial accountPeriod such that the financial accountPeriod is an agreement period of the financial account and the processTime meets the financial accountPeriod and the financial account is an instance of financial account and the financial account is held by the financial organization and the cognitive agent holds account the financial account
(=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)))))	FinancialOntology.kif 443-448	If a process is an instance of withdrawal, then there exists a financial account such that the financial account is an instance of financial account and the process originates at the currency of the financial account
(=> (lastStatement ?ACCT ?STATEMENT) (instance ?ACCT FinancialAccount))	FinancialOntology.kif 3738-3740	If a bank statement is a last statement of a financial account, then the financial account is an instance of financial account

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: