TreeView Knowledge Base Browser - availableBalance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

availableBalance

Sigma KEE - availableBalance

availableBalance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3811-3813
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3807-3807	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 3808-3808	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 3809-3809	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 3810-3810	available balance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3806-3806	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 2858-2858
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2857-2857
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2856-2856
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3829-3829	available cash is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4090-4090	buying power amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4099-4099	margin balance amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4117-4117	market value amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4108-4108	short balance amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9318-9318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9317-9317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9316-9316

consequent

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

FinancialOntology.kif 3815-3827

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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