availableBalance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation availableBalance EnglishLanguage "(availableBalance ?Account ?Day ?Amount) means that ?Amount is the balance which is available for withdrawal from the FinancialAccount ?Account.")	FinancialOntology.kif 3829-3831
(domain availableBalance 1 FinancialAccount)	FinancialOntology.kif 3825-3825	The number 1 argument of availableBalance is an instance of FinancialAccount
(domain availableBalance 2 Day)	FinancialOntology.kif 3826-3826	The number 2 argument of availableBalance is an instance of day
(domain availableBalance 3 CurrencyMeasure)	FinancialOntology.kif 3827-3827	The number 3 argument of availableBalance is an instance of currency measure
(instance availableBalance TernaryPredicate)	FinancialOntology.kif 3828-3828	availableBalance is an instance of ternary predicate
(subrelation availableBalance currentAccountBalance)	FinancialOntology.kif 3824-3824	availableBalance is a subrelation of currentAccountBalance

appearance as argument number 2

(format ChineseLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ")	domainEnglishFormat.kif 2854-2854
(format ChineseTraditionalLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ")	domainEnglishFormat.kif 2853-2853
(format EnglishLanguage availableBalance "the available balance of %1 on %2 is %3")	domainEnglishFormat.kif 2852-2852
(subrelation availableCash availableBalance)	FinancialOntology.kif 3847-3847	availableCash is a subrelation of availableBalance
(subrelation buyingPowerAmount availableBalance)	FinancialOntology.kif 4108-4108	buyingPowerAmount is a subrelation of availableBalance
(subrelation marginBalanceAmount availableBalance)	FinancialOntology.kif 4117-4117	marginBalanceAmount is a subrelation of availableBalance
(subrelation marketValueAmount availableBalance)	FinancialOntology.kif 4135-4135	marketValueAmount is a subrelation of availableBalance
(subrelation shortBalanceAmount availableBalance)	FinancialOntology.kif 4126-4126	shortBalanceAmount is a subrelation of availableBalance
(termFormat ChineseLanguage availableBalance "可用余额")	domainEnglishFormat.kif 9318-9318	shortBalanceAmount is a subrelation of availableBalance
(termFormat ChineseTraditionalLanguage availableBalance "可用餘額")	domainEnglishFormat.kif 9317-9317	shortBalanceAmount is a subrelation of availableBalance
(termFormat EnglishLanguage availableBalance "available balance")	domainEnglishFormat.kif 9316-9316	shortBalanceAmount is a subrelation of availableBalance

consequent

(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction ?Account)
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))

FinancialOntology.kif 3833-3845