availableBalance - Sigma Knowledge base Browser

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