Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| minimumBalance |
| appearance as argument number 1 |
|
| (instance minimumBalance TernaryPredicate) | FinancialOntology.kif 700-700 | minimum balance is an instance of ternary predicate |
| (domain minimumBalance 1 FinancialAccount) | FinancialOntology.kif 701-701 | The number 1 argument of minimum balance is an instance of financial account |
| (domainSubclass minimumBalance 2 FinancialTransaction) | FinancialOntology.kif 702-702 | The number 2 argument of minimum balance is a subclass of financial transaction |
| (domain minimumBalance 3 CurrencyMeasure) | FinancialOntology.kif 703-703 | The number 3 argument of minimum balance is an instance of currency measure |
| (documentation minimumBalance EnglishLanguage "(minimumBalance ?Account ?ActivityType ?Amount) means that ?Amount is the mimimum amount required by the type of FinancialTransaction ?ActivityType.") | FinancialOntology.kif 704-706 | The number 3 argument of minimum balance is an instance of currency measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage minimumBalance "%1 is %n minimum balance %2 for %3") | domainEnglishFormat.kif 1741-1741 | |
| (format ChineseTraditionalLanguage minimumBalance "%1 %n 是 對於 %3 的 minimum 金額 %2 ") | domainEnglishFormat.kif 1742-1742 | |
| (format ChineseLanguage minimumBalance "%1 %n 是 对于 %3 的 minimum 金额 %2 ") | domainEnglishFormat.kif 1743-1743 | |
| (termFormat EnglishLanguage minimumBalance "minimum balance") | domainEnglishFormat.kif 37877-37877 | |
| (termFormat ChineseTraditionalLanguage minimumBalance "最低餘額") | domainEnglishFormat.kif 37878-37878 | |
| (termFormat ChineseLanguage minimumBalance "最低余额") | domainEnglishFormat.kif 37879-37879 |
| 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 708-721 | If X is an instance of financial account, X is minimum balance opening an account for Y Z(s), and Z is an instance of unit of currency, then there exist W, V and U such that W ends up at the currency of X and U Z(s) is a transaction amount of W and U is greater than or equal to Y and V is an agreement effective date of X and date of W is V |
| (=> (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 723-736 | If X is an instance of financial account, X is minimum balance using an account for Y Z(s), Z is an instance of unit of currency, X current account balance W for V Z(s), and V is less than Y, then there exists U such that U is an instance of penalizing, date of U is W, and U ends up at the currency of X |
|