TreeView 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 3852-3854
(domain availableCash 1 FinancialAccount)	FinancialOntology.kif 3848-3848	availableCash の数値 1 引数は FinancialAccount の instance では
(domain availableCash 2 Day)	FinancialOntology.kif 3849-3849	availableCash の数値 2 引数は日の instance では
(domain availableCash 3 CurrencyMeasure)	FinancialOntology.kif 3850-3850	availableCash の数値 3 引数は通貨測定の instance では
(instance availableCash TernaryPredicate)	FinancialOntology.kif 3851-3851	availableCash は 3進述語の instance では
(subrelation availableCash availableBalance)	FinancialOntology.kif 3847-3847	availableCash は availableBalance の subrelation では

appearance as argument number 2

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

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 3856-3870