availableBalance |
appearance as argument number 1 |
![]() |
(documentation availableBalance EnglishLanguage "(availableBalance ?Account ?Day ?Amount) means that ?Amount is the balance which is available for withdrawal from the FinancialAccount ?Account.") | FinancialOntology.kif 3829-3831 | |
(domain availableBalance 1 FinancialAccount) | FinancialOntology.kif 3825-3825 | Le nombre 1 argument de availableBalance est une instance de FinancialAccount |
(domain availableBalance 2 Day) | FinancialOntology.kif 3826-3826 | Le nombre 2 argument de availableBalance est une instance de jour |
(domain availableBalance 3 CurrencyMeasure) | FinancialOntology.kif 3827-3827 | Le nombre 3 argument de availableBalance est une instance de mesure de devise |
(instance availableBalance TernaryPredicate) | FinancialOntology.kif 3828-3828 | availableBalance est une instance de pr�dicat ternaire |
(subrelation availableBalance currentAccountBalance) | FinancialOntology.kif 3824-3824 | availableBalance est une sous-relation de currentAccountBalance |
appearance as argument number 2 |
![]() |
consequent |
![]() |
(=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction ?Account) (transactionAmount ?Transaction (MeasureFn ?Amount1 ?U)) (instance ?U UnitOfCurrency) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableBalance ?Account ?Day (MeasureFn ?Amount2 ?U)) (greaterThanOrEqualTo ?Amount1 ?Amount2)))) |
FinancialOntology.kif 3833-3845 |
|
![]() |
![]() |