availableBalance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - availableBalance

availableBalance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3829-3831
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3825-3825	The number 1 argument of available balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3826-3826	The number 2 argument of available balance is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3827-3827	The number 3 argument of available balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3828-3828	available balance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3824-3824	available balance is a subrelation of current account balance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2854-2854
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2853-2853
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2852-2852
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3847-3847	available cash is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4108-4108	buying power amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4117-4117	margin balance amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4135-4135	market value amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4126-4126	short balance amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9319-9319	short balance amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9318-9318	short balance amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9317-9317	short balance amount is a subrelation of available balance

consequent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 3833-3845

If a financial transaction is an instance of financial transaction and the financial transaction originates at a financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the unit of measure is an instance of unit of currency and date of the financial transaction is a day,
then there exists another real number such that the available balance of the financial account on the day is the other real number the unit of measure(s) and the real number is greater than or equal to the other real number

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