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 634-635
s__domain(s__currentAccountBalance__m,n__1,s__FinancialAccount)	FinancialOntology.kif 631-631	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 632-632	The number 2 argument of current account balance is an instance of day
s__domain(s__currentAccountBalance__m,n__3,s__CurrencyMeasure)	FinancialOntology.kif 633-633	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 630-630	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 3653-3653	available balance is a subrelation of current account balance
s__termFormat(s__ChineseLanguage,s__currentAccountBalance__m,'"目前账户余额"')	domainEnglishFormat.kif 18037-18037
s__termFormat(s__ChineseTraditionalLanguage,s__currentAccountBalance__m,'"目前賬戶餘額"')	domainEnglishFormat.kif 18036-18036
s__termFormat(s__EnglishLanguage,s__currentAccountBalance__m,'"current account balance"')	domainEnglishFormat.kif 18035-18035

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 675-679	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 732-737	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__Account] : ((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Date,s__Day) & s__instance(V__Balance,s__CurrencyMeasure)) => (s__instance(V__Account,s__FinancialAccount) & s__minimumBalance(V__Account,s__UsingAnAccount,V__Balance) & s__currentAccountBalance(V__Account,V__Date,V__Amount) & 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 657-667	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a currency measure and the financial account current account balance a day for another currency measure and the other currency measure is less than the currency measure, 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 2411-2416	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__CurrencyMeasure) & s__instance(V__Balance2,s__CurrencyMeasure) & 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 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
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] : ((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__CurrencyMeasure) & 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 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
( ! [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 1390-1407	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__CurrencyMeasure) & s__instance(V__Balance2,s__CurrencyMeasure) & 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 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

consequent

( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] : ((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__CurrencyMeasure) & 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 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
( ! [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 1340-1345	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__CurrencyMeasure) & s__instance(V__Balance2,s__CurrencyMeasure) & 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 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
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] : ((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__CurrencyMeasure) & 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 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
( ! [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 3887-3893	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners