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 | The number 1 argument of available cash is an instance of financial account |
(domain availableCash 2 Day) | FinancialOntology.kif 3845-3845 | The number 2 argument of available cash is an instance of day |
(domain availableCash 3 CurrencyMeasure) | FinancialOntology.kif 3846-3846 | The number 3 argument of available cash is an instance of currency measure |
(instance availableCash TernaryPredicate) | FinancialOntology.kif 3847-3847 | available cash is an instance of ternary predicate |
(subrelation availableCash availableBalance) | FinancialOntology.kif 3843-3843 | available cash is a subrelation of available balance |
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 |
![]() |
![]() |
![]() |