minimumBalance |
appearance as argument number 1 |
![]() |
(documentation minimumBalance EnglishLanguage "(minimumBalance ?Account ?ActivityType ?Amount) means that ?Amount is the mimimum amount required by the type of FinancialTransaction ?ActivityType.") | FinancialOntology.kif 684-686 | |
(domain minimumBalance 1 FinancialAccount) | FinancialOntology.kif 681-681 | |
(domain minimumBalance 3 CurrencyMeasure) | FinancialOntology.kif 683-683 | |
(domainSubclass minimumBalance 2 FinancialTransaction) | FinancialOntology.kif 682-682 | |
(instance minimumBalance TernaryPredicate) | FinancialOntology.kif 680-680 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage minimumBalance "%1 %n 是 对于 %3 的 minimum 金额 %2 ") | domainEnglishFormat.kif 1743-1743 | |
(format ChineseTraditionalLanguage minimumBalance "%1 %n 是 對於 %3 的 minimum 金額 %2 ") | domainEnglishFormat.kif 1742-1742 | |
(format EnglishLanguage minimumBalance "%1 is %n minimum balance %2 for %3") | domainEnglishFormat.kif 1741-1741 | |
(termFormat ChineseLanguage minimumBalance "最低余额") | domainEnglishFormat.kif 37886-37886 | |
(termFormat ChineseTraditionalLanguage minimumBalance "最低餘額") | domainEnglishFormat.kif 37885-37885 | |
(termFormat EnglishLanguage minimumBalance "minimum balance") | domainEnglishFormat.kif 37884-37884 |
antecedent |
![]() |
(=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account OpeningAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency)) (exists (?Payment ?Date ?Amount) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment (MeasureFn ?Amount ?U)) (greaterThanOrEqualTo ?Amount ?Balance) (agreementEffectiveDate ?Account ?Date) (date ?Payment ?Date)))) |
FinancialOntology.kif 688-701 | |
(=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account UsingAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency) (currentAccountBalance ?Account ?Date (MeasureFn ?Amount ?U)) (lessThan ?Amount ?Balance)) (exists (?Penalty) (and (instance ?Penalty Penalty) (date ?Penalty ?Date) (destination ?Penalty (CurrencyFn ?Account))))) |
FinancialOntology.kif 703-716 |
![]() |
![]() |