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 3811-3813
(domain availableBalance 1 FinancialAccount)	FinancialOntology.kif 3807-3807
(domain availableBalance 2 Day)	FinancialOntology.kif 3808-3808
(domain availableBalance 3 CurrencyMeasure)	FinancialOntology.kif 3809-3809
(instance availableBalance TernaryPredicate)	FinancialOntology.kif 3810-3810
(subrelation availableBalance currentAccountBalance)	FinancialOntology.kif 3806-3806

appearance as argument number 2

(format ChineseLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ")	domainEnglishFormat.kif 2850-2850
(format ChineseTraditionalLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ")	domainEnglishFormat.kif 2849-2849
(format EnglishLanguage availableBalance "the available balance of %1 on %2 is %3")	domainEnglishFormat.kif 2848-2848
(subrelation availableCash availableBalance)	FinancialOntology.kif 3829-3829
(subrelation buyingPowerAmount availableBalance)	FinancialOntology.kif 4090-4090
(subrelation marginBalanceAmount availableBalance)	FinancialOntology.kif 4099-4099
(subrelation marketValueAmount availableBalance)	FinancialOntology.kif 4117-4117
(subrelation shortBalanceAmount availableBalance)	FinancialOntology.kif 4108-4108
(termFormat ChineseLanguage availableBalance "可用余额")	domainEnglishFormat.kif 9321-9321
(termFormat ChineseTraditionalLanguage availableBalance "可用餘額")	domainEnglishFormat.kif 9320-9320
(termFormat EnglishLanguage availableBalance "available balance")	domainEnglishFormat.kif 9319-9319

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 3815-3827