TreeView Knowledge Base Browser - minimumBalance

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

(documentation minimumBalance EnglishLanguage "(minimumBalance ?Account ?ActivityType ?Amount) means that ?Amount is the mimimum amount required by the type of FinancialTransaction ?ActivityType.")	FinancialOntology.kif 682-684
(domain minimumBalance 1 FinancialAccount)	FinancialOntology.kif 679-679	The number 1 argument of minimum balance is an instance of financial account
(domain minimumBalance 3 CurrencyMeasure)	FinancialOntology.kif 681-681	The number 3 argument of minimum balance is an instance of currency measure
(domainSubclass minimumBalance 2 FinancialTransaction)	FinancialOntology.kif 680-680	The number 2 argument of minimum balance is a subclass of financial transaction
(instance minimumBalance TernaryPredicate)	FinancialOntology.kif 678-678	minimum balance is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage minimumBalance "%1 %n 是对于 %3 的 minimum 金额 %2 ")	domainEnglishFormat.kif 1739-1739
(format ChineseTraditionalLanguage minimumBalance "%1 %n 是對於 %3 的 minimum 金額 %2 ")	domainEnglishFormat.kif 1738-1738
(format EnglishLanguage minimumBalance "%1 is %n minimum balance %2 for %3")	domainEnglishFormat.kif 1737-1737
(termFormat ChineseLanguage minimumBalance "最低余额")	domainEnglishFormat.kif 37877-37877
(termFormat ChineseTraditionalLanguage minimumBalance "最低餘額")	domainEnglishFormat.kif 37876-37876
(termFormat EnglishLanguage minimumBalance "minimum balance")	domainEnglishFormat.kif 37875-37875

antecedent

(=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account OpeningAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency)) (exists (?Payment ?Date ?Amount) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment (MeasureFn ?Amount ?U)) (greaterThanOrEqualTo ?Amount ?Balance) (agreementEffectiveDate ?Account ?Date) (date ?Payment ?Date))))	FinancialOntology.kif 686-699	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
(=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account UsingAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency) (currentAccountBalance ?Account ?Date (MeasureFn ?Amount ?U)) (lessThan ?Amount ?Balance)) (exists (?Penalty) (and (instance ?Penalty Penalty) (date ?Penalty ?Date) (destination ?Penalty (CurrencyFn ?Account)))))	FinancialOntology.kif 701-714	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 penalty and date of the process is the day and the process ends up at the currency of the financial account

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