availableCash - Sigma Knowledge base Browser

appearance as argument number 1

(subrelation availableCash availableBalance)	FinancialOntology.kif 3847-3847	available cash is a subrelation of available balance
(domain availableCash 1 FinancialAccount)	FinancialOntology.kif 3848-3848	The number 1 argument of available cash is an instance of financial account
(domain availableCash 2 Day)	FinancialOntology.kif 3849-3849	The number 2 argument of available cash is an instance of day
(domain availableCash 3 CurrencyMeasure)	FinancialOntology.kif 3850-3850	The number 3 argument of available cash is an instance of currency measure
(instance availableCash TernaryPredicate)	FinancialOntology.kif 3851-3851	available cash is an instance of ternary predicate
(documentation availableCash EnglishLanguage "(availableCash ?Account ?Day ?Cash) holds if ?Cash is a cash amount available for withdrawal from the FinancialAccount ?Account.")	FinancialOntology.kif 3852-3854	available cash is an instance of ternary predicate

appearance as argument number 2

(format EnglishLanguage availableCash "the available cash of %1 on %2 is %3")	domainEnglishFormat.kif 2856-2856
(format ChineseTraditionalLanguage availableCash "%1 在 %2 的 available cash 是 %3 ")	domainEnglishFormat.kif 2857-2857
(format ChineseLanguage availableCash "%1 在 %2 的 available cash 是 %3 ")	domainEnglishFormat.kif 2858-2858
(termFormat EnglishLanguage availableCash "available cash")	domainEnglishFormat.kif 9322-9322
(termFormat ChineseTraditionalLanguage availableCash "可用現金")	domainEnglishFormat.kif 9323-9323
(termFormat ChineseLanguage availableCash "可用现金")	domainEnglishFormat.kif 9324-9324

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))))

If All of the following hold: (1) X is an instance of financial transaction (2) X originates at the currency of Y (3) Z W(s) is a transaction amount of X (4) W is an instance of unit of currency (5) V is an instance of currency (6) V is a patient of X (7) date of X is U, then there exists T such that the available cash of Y on U is T W(s) and Z is greater than or equal to T