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
( ! [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


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