availableCash - Sigma Knowledge base Browser

appearance as argument number 1

(documentation availableCash EnglishLanguage "(availableCash ?Account ?Day ?Cash) holds if ?Cash is a cash amount available for withdrawal from the FinancialAccount ?Account.")	FinancialOntology.kif 3834-3836
(domain availableCash 1 FinancialAccount)	FinancialOntology.kif 3830-3830	The number 1 argument of available cash is an instance of financial account
(domain availableCash 2 Day)	FinancialOntology.kif 3831-3831	The number 2 argument of available cash is an instance of day
(domain availableCash 3 CurrencyMeasure)	FinancialOntology.kif 3832-3832	The number 3 argument of available cash is an instance of currency measure
(instance availableCash TernaryPredicate)	FinancialOntology.kif 3833-3833	available cash is an instance of ternary predicate
(subrelation availableCash availableBalance)	FinancialOntology.kif 3829-3829	available cash is a subrelation of available balance

appearance as argument number 2

(format ChineseLanguage availableCash "%1 在 %2 的 available cash 是 %3 ")	domainEnglishFormat.kif 2854-2854
(format ChineseTraditionalLanguage availableCash "%1 在 %2 的 available cash 是 %3 ")	domainEnglishFormat.kif 2853-2853
(format EnglishLanguage availableCash "the available cash of %1 on %2 is %3")	domainEnglishFormat.kif 2852-2852
(termFormat ChineseLanguage availableCash "可用现金")	domainEnglishFormat.kif 9327-9327
(termFormat ChineseTraditionalLanguage availableCash "可用現金")	domainEnglishFormat.kif 9326-9326
(termFormat EnglishLanguage availableCash "available cash")	domainEnglishFormat.kif 9325-9325

consequent

(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))

FinancialOntology.kif 3838-3852