| 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 642-644 | |
| (domain minimumBalance 1 FinancialAccount) | FinancialOntology.kif 639-639 | |
| (domain minimumBalance 3 CurrencyMeasure) | FinancialOntology.kif 641-641 | |
| (domainSubclass minimumBalance 2 FinancialTransaction) | FinancialOntology.kif 640-640 | |
| (instance minimumBalance TernaryPredicate) | FinancialOntology.kif 638-638 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage minimumBalance "%1 %n 是 对于 %3 的 minimum 金额 %2 ") | domainEnglishFormat.kif 1739-1739 | |
| (format ChineseTraditionalLanguage minimumBalance "%1 %n 是 對於 %3 的 minimum 金額 %2 ") | domainEnglishFormat.kif 1738-1738 | |
| (format EnglishLanguage minimumBalance "%1 is %n minimum balance %2 for %3") | domainEnglishFormat.kif 1737-1737 | |
| (termFormat ChineseLanguage minimumBalance "最低余额") | domainEnglishFormat.kif 37801-37801 | |
| (termFormat ChineseTraditionalLanguage minimumBalance "最低餘額") | domainEnglishFormat.kif 37800-37800 | |
| (termFormat EnglishLanguage minimumBalance "minimum balance") | domainEnglishFormat.kif 37799-37799 |
| antecedent |
|
|
| (=> (and (instance ?Account ?FinancialAccount) (minimumBalance ?Account OpeningAnAccount ?Balance)) (exists (?Payment) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Amount) (greaterThanOrEqualTo ?Amount ?Balance) (agreementEffectiveDate ?Account ?Date) (date ?Payment ?Date)))) |
FinancialOntology.kif 646-656 | |
| (=> (and (instance ?Account ?FinancialAccount) (minimumBalance ?Account UsingAnAccount ?Balance) (currentAccountBalance ?Account ?Date ?Amount) (lessThan ?Amount ?Balance)) (exists (?Penalty) (and (instance ?Penalty Penalty) (date ?Penalty ?Date) (destination ?Penalty (CurrencyFn ?Account))))) |
FinancialOntology.kif 658-668 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners