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 677-678
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 674-674	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 675-675	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 676-676	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 673-673	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 3824-3824	available balance is a subrelation of current account balance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18123-18123	available balance is a subrelation of current account balance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18122-18122	available balance is a subrelation of current account balance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18121-18121	available balance is a subrelation of current account balance

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 724-728	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 785-790	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 equal another real number and (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 703-716	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 unit of currency 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 penalizing 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 2506-2511	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 438-455	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 real number an unit of measure(s) 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 real number the unit of measure(s) and equal a third real number and (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 410-426	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 real number an unit of measure(s) 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 real number the unit of measure(s) and equal a third real number and (the other real number and the real number), then the financial account current account balance immediately after the time of existence of the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1465-1482	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 468-483	If a financial transaction is an instance of withdrawing from an account and a financial account is an instance of financial account and the financial transaction originates at the financial account and a real number an unit of measure(s) 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 real number the unit of measure(s) and equal a third real number and (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 438-455	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 real number an unit of measure(s) 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 real number the unit of measure(s) and equal a third real number and (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1415-1420	If a time interval is an instance of loan and equal a time point and 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 410-426	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 real number an unit of measure(s) 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 real number the unit of measure(s) and equal a third real number and (the other real number and the real number), then the financial account current account balance immediately after the time of existence of the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 468-483	If a financial transaction is an instance of withdrawing from an account and a financial account is an instance of financial account and the financial transaction originates at the financial account and a real number an unit of measure(s) 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 real number the unit of measure(s) and equal a third real number and (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4062-4068	If a currency measure is a last statement balance of a financial account, then there exist a bank statement and a day such that the bank statement is a last statement of the financial account and the 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