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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 635-636
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 632-632	The number 1 argument of current account balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 633-633	The number 2 argument of current account balance is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 634-634	The number 3 argument of current account balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 631-631	current account balance is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 620-620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 619-619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 618-618
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3646-3646	available balance is a subrelation of current account balance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18043-18043	"目前账户余额" is the printable form of current account balance in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18042-18042	"目前賬戶餘額" is the printable form of current account balance in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18041-18041	"current account balance" is the printable form of current account balance in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 676-680	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 733-738	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 658-668	If a financial account is an instance of a set or class 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2412-2417	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1392-1409	If a process is an instance of refinancing and the process exists during a time position 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 a 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 time position and the financial transaction originates at the currency of the other loan and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	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

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1341-1346	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3880-3886	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 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