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

s__documentation(s__minimumBalance__m,s__EnglishLanguage,'"(minimumBalance ?Account ?ActivityType ?Amount) means that ?Amount is the mimimum amount required by the type of FinancialTransaction ?ActivityType."')	FinancialOntology.kif 642-644
s__domain(s__minimumBalance__m,n__1,s__FinancialAccount)	FinancialOntology.kif 639-639	The number 1 argument of minimum balance is an instance of financial account
s__domain(s__minimumBalance__m,n__3,s__CurrencyMeasure)	FinancialOntology.kif 641-641	The number 3 argument of minimum balance is an instance of currency measure
s__domainSubclass(s__minimumBalance__m,n__2,s__FinancialTransaction)	FinancialOntology.kif 640-640	The number 2 argument of minimum balance is a subclass of financial transaction
s__instance(s__TernaryPredicate,s__SetOrClass) s__instance(s__minimumBalance__m,s__TernaryPredicate)	FinancialOntology.kif 638-638	minimum balance is an instance of ternary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__minimumBalance__m,'"%1 %n 是对于 %3 的 minimum 金额 %2 "')	domainEnglishFormat.kif 1739-1739
s__format(s__ChineseTraditionalLanguage,s__minimumBalance__m,'"%1 %n 是對於 %3 的 minimum 金額 %2 "')	domainEnglishFormat.kif 1738-1738
s__format(s__EnglishLanguage,s__minimumBalance__m,'"%1 is %n minimum balance %2 for %3"')	domainEnglishFormat.kif 1737-1737
s__termFormat(s__ChineseLanguage,s__minimumBalance__m,'"最低余额"')	domainEnglishFormat.kif 37866-37866
s__termFormat(s__ChineseTraditionalLanguage,s__minimumBalance__m,'"最低餘額"')	domainEnglishFormat.kif 37865-37865
s__termFormat(s__EnglishLanguage,s__minimumBalance__m,'"minimum balance"')	domainEnglishFormat.kif 37864-37864

antecedent

( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] : (((s__instance(V__Amount,s__RealNumber) & s__instance(V__Date,s__TimePoint) & s__instance(V__Date,s__Day) & s__instance(V__Balance,s__RealNumber)) => (((s__instance(V__Account,s__FinancialAccount) & s__minimumBalance(V__Account,s__OpeningAnAccount,s__MeasureFn(V__Balance,V__U)) & s__instance(V__U,s__UnitOfCurrency)) => (( ? [V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__destination(V__Payment,s__CurrencyFn(V__Account)) & s__transactionAmount(V__Payment,s__MeasureFn(V__Amount,V__U)) & s__greaterThanOrEqualTo(V__Amount,V__Balance) & s__agreementEffectiveDate(V__Account,V__Date) & s__date(V__Payment,V__Date))))))))) ) )	FinancialOntology.kif 646-659	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 UnitOfCurrency, then there exists a financial transaction such that the financial transaction ends up at the currency of the financial account and another 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 a time point is an agreement effective date of the financial account and date of the financial transaction is the time point
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] : (((s__instance(V__Amount,s__RealNumber) & s__instance(V__Date,s__Day) & s__instance(V__Balance,s__RealNumber)) => (((s__instance(V__Account,s__FinancialAccount) & s__minimumBalance(V__Account,s__UsingAnAccount,s__MeasureFn(V__Balance,V__U)) & s__instance(V__U,s__UnitOfCurrency) & s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Amount,V__U)) & s__lessThan(V__Amount,V__Balance)) => (( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__date(V__Penalty,V__Date) & s__destination(V__Penalty,s__CurrencyFn(V__Account))))))))) ) )	FinancialOntology.kif 661-674	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 UnitOfCurrency 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 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