currentAccountBalance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - currentAccountBalance

currentAccountBalance

appearance as argument number 1

s__documentation(s__currentAccountBalance__m,s__EnglishLanguage,'"(currentAccountBalance ?Account ?Date ?Amount) means that ?Amount is the balance of the FinancialAccount ?Account as of the date ?Date."')	FinancialOntology.kif 635-636
s__domain(s__currentAccountBalance__m,n__1,s__FinancialAccount)	FinancialOntology.kif 632-632	The number 1 argument of current account balance is an instance of financial account
s__domain(s__currentAccountBalance__m,n__2,s__Day)	FinancialOntology.kif 633-633	The number 2 argument of current account balance is an instance of day
s__domain(s__currentAccountBalance__m,n__3,s__CurrencyMeasure)	FinancialOntology.kif 634-634	The number 3 argument of current account balance is an instance of currency measure
s__instance(s__TernaryPredicate,s__SetOrClass) s__instance(s__currentAccountBalance__m,s__TernaryPredicate)	FinancialOntology.kif 631-631	current account balance is an instance of ternary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__currentAccountBalance__m,'"%1 %n{不是} 对于 %3 的 current 帐户存款"')	domainEnglishFormat.kif 620-620
s__format(s__ChineseTraditionalLanguage,s__currentAccountBalance__m,'"%1 %n{不是} 對於 %3 的 current 帳戶存款"')	domainEnglishFormat.kif 619-619
s__format(s__EnglishLanguage,s__currentAccountBalance__m,'"%1 %n{doesnt} current account balance %2 for %3"')	domainEnglishFormat.kif 618-618
s__subrelation(s__availableBalance__m,s__currentAccountBalance__m)	FinancialOntology.kif 3695-3695	available balance is a subrelation of current account balance
s__termFormat(s__ChineseLanguage,s__currentAccountBalance__m,'"目前账户余额"')	domainEnglishFormat.kif 18105-18105
s__termFormat(s__ChineseTraditionalLanguage,s__currentAccountBalance__m,'"目前賬戶餘額"')	domainEnglishFormat.kif 18104-18104
s__termFormat(s__EnglishLanguage,s__currentAccountBalance__m,'"current account balance"')	domainEnglishFormat.kif 18103-18103

antecedent

( ! [V__Date,V__Balance,V__Account] : (((s__instance(V__Date,s__TimePoint) & s__instance(V__Date,s__Day) & s__instance(V__Balance,s__CurrencyMeasure) & s__instance(V__Account,s__FinancialAccount)) => (((s__agreementEffectiveDate(V__Account,V__Date) & s__currentAccountBalance(V__Account,V__Date,V__Balance)) => (s__originalBalance(V__Account,V__Balance))))) ) )	FinancialOntology.kif 682-686	If a time point is an agreement effective date of a financial account and the financial account current account balance the time point for a currency measure, then the currency measure is an original balance of the financial account
( ! [V__Date,V__Balance,V__Account,V__Overdraft] : (((s__instance(V__Date,s__Day) & s__instance(V__Balance,s__RealNumber) & s__instance(V__Account,s__FinancialAccount) & s__instance(V__Overdraft,s__RealNumber)) => (((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar)) & s__lessThan(V__Balance,n__0) & (V__Overdraft = s__SubtractionFn(n__0,V__Balance))) => (s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date))))) ) )	FinancialOntology.kif 742-747	If a financial account current account balance a day for a real number united states dollar(s) and the real number is less than 0 and another real number is equal to (0 and the real number), then the financial account is overdraft the other real number united states dollar(s) for the day
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] : (((s__instance(V__Amount,s__RealNumber) & s__instance(V__Date,s__Day) & s__instance(V__Balance,s__RealNumber)) => (((s__instance(V__Account,s__FinancialAccount) & s__minimumBalance(V__Account,s__UsingAnAccount,s__MeasureFn(V__Balance,V__U)) & s__instance(V__U,s__UnitOfCurrency) & s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Amount,V__U)) & s__lessThan(V__Amount,V__Balance)) => (( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__date(V__Penalty,V__Date) & s__destination(V__Penalty,s__CurrencyFn(V__Account))))))))) ) )	FinancialOntology.kif 661-674	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a real number an unit of measure(s) and the unit of measure is an instance of UnitOfCurrency and the financial account current account balance a day for another real number the unit of measure(s) and the other real number is less than the real number, then there exists a process such that the process is an instance of penalty and date of the process is the day and the process ends up at the currency of the financial account
( ! [V__Amount,V__Date,V__Bond] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Date,s__Day)) => (((s__instance(V__Bond,s__CallableBond) & s__currentAccountBalance(s__AccountFn(V__Bond) ,V__Date,V__Amount) & s__callDate(V__Bond,V__Date)) => (s__amountDue(s__AccountFn(V__Bond) ,V__Amount,V__Date))))) ) )	FinancialOntology.kif 2430-2435	If a bond is an instance of callable bond and the account of the bond current account balance a day for a currency measure and the day is a call date of the bond, then the account of the bond amount due the currency measure for the day
( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] : (((s__instance(V__Amount,s__Number) & s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__Number) & s__instance(V__Balance2,s__CurrencyMeasure) & s__instance(V__Balance1,s__Number) & s__instance(V__Balance1,s__CurrencyMeasure)) => (((s__instance(V__Deposit,s__Deposit) & s__instance(V__Account,s__FinancialAccount) & s__destination(V__Deposit,s__CurrencyFn(V__Account)) & s__transactionAmount(V__Deposit,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit)) ,V__Balance1) & (V__Balance2 = s__AdditionFn(V__Balance1,V__Amount))) => (s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit)) ,V__Balance2))))) ) )	FinancialOntology.kif 428-436	If a financial transaction is an instance of deposit 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 number 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 number and a third number is equal to (the other number and the number), then the financial account current account balance immediately after after the financial transaction for the third number
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] : (((s__instance(V__Amount,s__Number) & s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__Number) & s__instance(V__Balance2,s__CurrencyMeasure) & s__instance(V__Balance1,s__Number) & s__instance(V__Balance1,s__CurrencyMeasure)) => (((s__instance(V__Payment,s__Payment) & s__origin(V__Payment,s__CurrencyFn(V__Account)) & s__instance(V__Account,s__FinancialAccount) & s__transactionAmount(V__Payment,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Payment)) ,V__Balance1) & (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount))) => (s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__WhenFn(V__Payment)) ,V__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 number 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 number and a third number is equal to (the other number and the number), then the financial account current account balance immediately after the time of existence of the financial transaction for the third number
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Time,s__Day) & s__instance(V__Collateral,s__Collateral) & s__instance(V__Borrower,s__CognitiveAgent)) => (((s__instance(V__Refinancing,s__Refinancing) & s__time(V__Refinancing,V__Time) & s__instance(V__Loan,s__Loan) & s__securedBy(V__Loan,V__Collateral) & s__borrower(V__Loan,V__Borrower) & s__currentAccountBalance(V__Loan,V__Time,V__Amount) & s__patient(V__Refinancing,V__Loan)) => (( ? [V__NewLoan, V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__instance(V__NewLoan,s__Loan) & s__borrower(V__NewLoan,V__Borrower) & s__securedBy(V__Loan,V__Collateral) & s__destination(V__Payment,s__CurrencyFn(V__Loan)) & s__time(V__Payment,V__Time) & s__origin(V__Payment,s__CurrencyFn(V__NewLoan)) & s__transactionAmount(V__Payment,V__Amount))))))))) ) )	FinancialOntology.kif 1403-1420	If a process is an instance of refinancing and the process exists during a day and a loan is an instance of loan and a collateral is a secured by of the loan and the loan is the borrower of a cognitive agent and the loan current account balance the day for a currency measure and the loan is a patient of the process, then there exist another loan and a financial transaction such that the other loan is an instance of loan and the other loan is the borrower of the cognitive agent and the collateral is a secured by of the loan and the financial transaction ends up at the currency of the loan and the financial transaction exists during the day and the financial transaction originates at the currency of the other loan and the currency measure is a transaction amount of the financial transaction
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] : (((s__instance(V__Amount,s__Number) & s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__Number) & s__instance(V__Balance2,s__CurrencyMeasure) & s__instance(V__Balance1,s__Number) & s__instance(V__Balance1,s__CurrencyMeasure)) => (((s__instance(V__Withdrawal,s__Withdrawal) & s__instance(V__Account,s__FinancialAccount) & s__origin(V__Withdrawal,V__Account) & s__transactionAmount(V__Withdrawal,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Withdrawal)) ,V__Balance1) & (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount))) => (s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Withdrawal)) ,V__Balance2))))) ) )	FinancialOntology.kif 449-457	If a financial transaction is an instance of withdrawal and a financial account is an instance of financial account and the financial transaction originates at the financial account and a number 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 number and a third number is equal to (the other number and the number), then the financial account current account balance immediately after after the financial transaction for the third number

consequent

( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] : (((s__instance(V__Amount,s__Number) & s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__Number) & s__instance(V__Balance2,s__CurrencyMeasure) & s__instance(V__Balance1,s__Number) & s__instance(V__Balance1,s__CurrencyMeasure)) => (((s__instance(V__Deposit,s__Deposit) & s__instance(V__Account,s__FinancialAccount) & s__destination(V__Deposit,s__CurrencyFn(V__Account)) & s__transactionAmount(V__Deposit,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit)) ,V__Balance1) & (V__Balance2 = s__AdditionFn(V__Balance1,V__Amount))) => (s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit)) ,V__Balance2))))) ) )	FinancialOntology.kif 428-436	If a financial transaction is an instance of deposit 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 number 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 number and a third number is equal to (the other number and the number), then the financial account current account balance immediately after after the financial transaction for the third number
( ! [V__BAL,V__LOAN,V__START] : (((s__instance(V__BAL,s__CurrencyMeasure) & s__instance(V__START,s__TimePoint) & s__instance(V__START,s__Day)) => (((s__instance(V__LOAN,s__Loan) & (V__START = s__BeginFn(V__LOAN)) & s__totalBalance(V__LOAN,V__BAL)) => (s__currentAccountBalance(V__LOAN,V__START,V__BAL))))) ) )	FinancialOntology.kif 1353-1358	If a time interval is an instance of loan and a time point is equal to the beginning of the time interval and a currency measure is a total balance of the time interval, then the time interval current account balance the time point for the currency measure
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] : (((s__instance(V__Amount,s__Number) & s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__Number) & s__instance(V__Balance2,s__CurrencyMeasure) & s__instance(V__Balance1,s__Number) & s__instance(V__Balance1,s__CurrencyMeasure)) => (((s__instance(V__Payment,s__Payment) & s__origin(V__Payment,s__CurrencyFn(V__Account)) & s__instance(V__Account,s__FinancialAccount) & s__transactionAmount(V__Payment,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Payment)) ,V__Balance1) & (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount))) => (s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__WhenFn(V__Payment)) ,V__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 number 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 number and a third number is equal to (the other number and the number), then the financial account current account balance immediately after the time of existence of the financial transaction for the third number
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] : (((s__instance(V__Amount,s__Number) & s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__Number) & s__instance(V__Balance2,s__CurrencyMeasure) & s__instance(V__Balance1,s__Number) & s__instance(V__Balance1,s__CurrencyMeasure)) => (((s__instance(V__Withdrawal,s__Withdrawal) & s__instance(V__Account,s__FinancialAccount) & s__origin(V__Withdrawal,V__Account) & s__transactionAmount(V__Withdrawal,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Withdrawal)) ,V__Balance1) & (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount))) => (s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Withdrawal)) ,V__Balance2))))) ) )	FinancialOntology.kif 449-457	If a financial transaction is an instance of withdrawal and a financial account is an instance of financial account and the financial transaction originates at the financial account and a number 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 number and a third number is equal to (the other number and the number), then the financial account current account balance immediately after after the financial transaction for the third number
( ! [V__Date,V__Balance,V__Account] : (((s__instance(V__Date,s__Day) & s__instance(V__Balance,s__CurrencyMeasure) & s__instance(V__Account,s__FinancialAccount)) => ((s__lastStatementBalance(V__Account,V__Balance) => (( ? [V__Statement] : ((s__instance(V__Statement,s__BankStatement) & (s__lastStatement(V__Account,V__Statement) & s__dateOfStatement(V__Statement,V__Date) & s__currentAccountBalance(V__Account,V__Date,V__Balance))))))))) ) )	FinancialOntology.kif 3935-3941	If a currency measure is a last statement balance of a financial account, then there exists a bank statement such that the bank statement is a last statement of the financial account and a day is a date of statement of the bank statement and the financial account current account balance the day for the currency measure

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 3.0 is open source software produced by Articulate Software and its partners