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 3658-3660
s__domain(s__availableBalance__m,n__1,s__FinancialAccount)

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

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

FinancialOntology.kif 3656-3656 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 3657-3657 available balance is an instance of ternary predicate
s__subrelation(s__availableBalance__m,s__currentAccountBalance__m)

FinancialOntology.kif 3653-3653 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 2855-2855
s__format(s__ChineseTraditionalLanguage,s__availableBalance__m,'"%1 在 %2 的 available balance 是 %3 "')

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

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

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

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

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

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

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

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

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

domainEnglishFormat.kif 9329-9329

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


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

FinancialOntology.kif 3662-3671


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners