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 3834-3836 | |
(domain availableCash 1 FinancialAccount) | FinancialOntology.kif 3830-3830 | O argumento numero 1 de availableCash e' uma instancia de FinancialAccount |
(domain availableCash 2 Day) | FinancialOntology.kif 3831-3831 | O argumento numero 2 de availableCash e' uma instancia de Dia |
(domain availableCash 3 CurrencyMeasure) | FinancialOntology.kif 3832-3832 | O argumento numero 3 de availableCash e' uma instancia de Medida de Divisa |
(instance availableCash TernaryPredicate) | FinancialOntology.kif 3833-3833 | availableCash e' uma instancia de Predicado Ternario |
(subrelation availableCash availableBalance) | FinancialOntology.kif 3829-3829 | availableCash e' uma sub-relacao de availableBalance |
appearance as argument number 2 |
(format ChineseLanguage availableCash "%1 在 %2 的 available cash 是 %3 ") | domainEnglishFormat.kif 2862-2862 | |
(format ChineseTraditionalLanguage availableCash "%1 在 %2 的 available cash 是 %3 ") | domainEnglishFormat.kif 2861-2861 | |
(format EnglishLanguage availableCash "the available cash of %1 on %2 is %3") | domainEnglishFormat.kif 2860-2860 | |
(termFormat ChineseLanguage availableCash "可用现金") | domainEnglishFormat.kif 9324-9324 | |
(termFormat ChineseTraditionalLanguage availableCash "可用現金") | domainEnglishFormat.kif 9323-9323 | |
(termFormat EnglishLanguage availableCash "available cash") | domainEnglishFormat.kif 9322-9322 |
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 |
|