minimumBalance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - minimumBalance

minimumBalance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 684-686
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 681-681	The number 1 argument of minimum balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 683-683	The number 3 argument of minimum balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 682-682	The number 2 argument of minimum balance is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 680-680	minimum 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 1743-1743
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1742-1742
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1741-1741
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37886-37886
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37885-37885
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37884-37884

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 688-701	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency, then there exist a financial transaction, a time point and another real number such that the financial transaction ends up at the currency of the financial account and the other real number the unit of measure(s) is a transaction amount of the financial transaction and the other real number is greater than or equal to the real number and the time point is an agreement effective date of the financial account and date of the financial transaction is the time point
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

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