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 641-643
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 638-638	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 640-640	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 639-639	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 637-637	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 1739-1739
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1738-1738
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1737-1737
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37798-37798
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37797-37797
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37796-37796

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 645-655	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a currency measure, then there exists a financial transaction such that the financial transaction ends up at the currency of the financial account and another currency measure is a transaction amount of the financial transaction and the other currency measure is greater than or equal to the currency measure and a 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 657-667	If a financial account is an instance of financial account 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

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