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 3811-3813 | |
(domain availableBalance 1 FinancialAccount) | FinancialOntology.kif 3807-3807 | Die Zahl 1 Argument von availableBalance ist ein fall von FinancialAccount %n{nicht} |
(domain availableBalance 2 Day) | FinancialOntology.kif 3808-3808 | Die Zahl 2 Argument von availableBalance ist ein fall von Day %n{nicht} |
(domain availableBalance 3 CurrencyMeasure) | FinancialOntology.kif 3809-3809 | Die Zahl 3 Argument von availableBalance ist ein fall von CurrencyMeasure %n{nicht} |
(instance availableBalance TernaryPredicate) | FinancialOntology.kif 3810-3810 | availableBalance ist ein fall von TernaryPredicate %n{nicht} |
(subrelation availableBalance currentAccountBalance) | FinancialOntology.kif 3806-3806 | availableBalance ist eine teilrelation von 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 3815-3827 |
|