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 | Il numero 1 argomenti di availableBalance è un istanza di FinancialAccount |
(domain availableBalance 2 Day) | FinancialOntology.kif 3808-3808 | Il numero 2 argomenti di availableBalance è un istanza di Giorno |
(domain availableBalance 3 CurrencyMeasure) | FinancialOntology.kif 3809-3809 | Il numero 3 argomenti di availableBalance è un istanza di MisuraMonetaria |
(instance availableBalance TernaryPredicate) | FinancialOntology.kif 3810-3810 | availableBalance è un' istanza di PredicatoTernario |
(subrelation availableBalance currentAccountBalance) | FinancialOntology.kif 3806-3806 | availableBalance è una sottorelazione di 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 |
|