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 | availableBalance の数値 1 引数は FinancialAccount の instance では %n |
(domain availableBalance 2 Day) | FinancialOntology.kif 3808-3808 | availableBalance の数値 2 引数は 日 の instance では %n |
(domain availableBalance 3 CurrencyMeasure) | FinancialOntology.kif 3809-3809 | availableBalance の数値 3 引数は 通貨測定 の instance では %n |
(instance availableBalance TernaryPredicate) | FinancialOntology.kif 3810-3810 | availableBalance は 3進述語 の instance では %n |
(subrelation availableBalance currentAccountBalance) | FinancialOntology.kif 3806-3806 | availableBalance は currentAccountBalance の subrelation では %n |
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 |
|