Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - availableBalance
availableBalance

appearance as argument number 1
-------------------------


s__documentation(s__availableBalance__m,s__EnglishLanguage,'"(availableBalance ?Account ?Day ?Amount) means that ?Amount is the balance which is available for withdrawal from the FinancialAccount ?Account."')

FinancialOntology.kif 3700-3702
s__domain(s__availableBalance__m,n__1,s__FinancialAccount)

FinancialOntology.kif 3696-3696 The number 1 argument of available balance is an instance of financial account
s__domain(s__availableBalance__m,n__2,s__Day)

FinancialOntology.kif 3697-3697 The number 2 argument of available balance is an instance of day
s__domain(s__availableBalance__m,n__3,s__CurrencyMeasure)

FinancialOntology.kif 3698-3698 The number 3 argument of available balance is an instance of currency measure
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__availableBalance__m,s__TernaryPredicate)

FinancialOntology.kif 3699-3699 available balance is an instance of ternary predicate
s__subrelation(s__availableBalance__m,s__currentAccountBalance__m)

FinancialOntology.kif 3695-3695 available balance is a subrelation of current account balance

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__availableBalance__m,'"%1 在 %2 的 available balance 是 %3 "')

domainEnglishFormat.kif 2859-2859
s__format(s__ChineseTraditionalLanguage,s__availableBalance__m,'"%1 在 %2 的 available balance 是 %3 "')

domainEnglishFormat.kif 2858-2858
s__format(s__EnglishLanguage,s__availableBalance__m,'"the available balance of %1 on %2 is %3"')

domainEnglishFormat.kif 2857-2857
s__subrelation(s__availableCash__m,s__availableBalance__m)

FinancialOntology.kif 3718-3718 available cash is a subrelation of available balance
s__subrelation(s__buyingPowerAmount__m,s__availableBalance__m)

FinancialOntology.kif 3981-3981 buying power amount is a subrelation of available balance
s__subrelation(s__marginBalanceAmount__m,s__availableBalance__m)

FinancialOntology.kif 3990-3990 margin balance amount is a subrelation of available balance
s__subrelation(s__marketValueAmount__m,s__availableBalance__m)

FinancialOntology.kif 4008-4008 market value amount is a subrelation of available balance
s__subrelation(s__shortBalanceAmount__m,s__availableBalance__m)

FinancialOntology.kif 3999-3999 short balance amount is a subrelation of available balance
s__termFormat(s__ChineseLanguage,s__availableBalance__m,'"可用余额"')

domainEnglishFormat.kif 9327-9327
s__termFormat(s__ChineseTraditionalLanguage,s__availableBalance__m,'"可用餘額"')

domainEnglishFormat.kif 9326-9326
s__termFormat(s__EnglishLanguage,s__availableBalance__m,'"available balance"')

domainEnglishFormat.kif 9325-9325

consequent
-------------------------


( ! [V__Day,V__U,V__Account,V__Amount1,V__Transaction] :
   (((s__instance(V__Day,s__Day) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Amount1,s__RealNumber))
       =>
       (((s__instance(V__Transaction,s__FinancialTransaction) &
             s__origin(V__Transaction,V__Account)
           &
           s__transactionAmount(V__Transaction,s__MeasureFn(V__Amount1,V__U))
       &
       s__instance(V__U,s__UnitOfCurrency) &
       s__date(V__Transaction,V__Day))
   =>
   (( ? [V__Amount2] :
       ((s__instance(V__Amount2,s__RealNumber) &
           (s__availableBalance(V__Account,V__Day,s__MeasureFn(V__Amount2,V__U))
         &
         s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))))))
)
)

FinancialOntology.kif 3704-3716


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