availableCash |
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 3848-3850 | |
(domain availableCash 1 FinancialAccount) | FinancialOntology.kif 3844-3844 | |
(domain availableCash 2 Day) | FinancialOntology.kif 3845-3845 | |
(domain availableCash 3 CurrencyMeasure) | FinancialOntology.kif 3846-3846 | |
(instance availableCash TernaryPredicate) | FinancialOntology.kif 3847-3847 | |
(subrelation availableCash availableBalance) | FinancialOntology.kif 3843-3843 |
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 9331-9331 | |
(termFormat ChineseTraditionalLanguage availableCash "可用現金") | domainEnglishFormat.kif 9330-9330 | |
(termFormat EnglishLanguage availableCash "available cash") | domainEnglishFormat.kif 9329-9329 |
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 3852-3866 |
![]() |
![]() |