| appearance as argument number 1 |
|
| (documentation dailyLimit EnglishLanguage "(dailyLimit ?Account ?TransactionType ?Amount) means that ?Amount is the daily limit of the ?Account for the type of FinancialTransactions ?TransactionType.") | FinancialOntology.kif 3993-3995 | |
| (domain dailyLimit 1 FinancialAccount) | FinancialOntology.kif 3990-3990 | The number 1 argument of daily limit is an instance of financial account |
| (domain dailyLimit 3 CurrencyMeasure) | FinancialOntology.kif 3992-3992 | The number 3 argument of daily limit is an instance of currency measure |
| (domainSubclass dailyLimit 2 FinancialTransaction) | FinancialOntology.kif 3991-3991 | The number 2 argument of daily limit is a subclass of financial transaction |
| (instance dailyLimit TernaryPredicate) | FinancialOntology.kif 3989-3989 | daily limit is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage dailyLimit "%1 %n{不是} 對於 %3 的 daily 上限") | domainEnglishFormat.kif 636-636 | |
| (format ChineseTraditionalLanguage dailyLimit "%1 %n{不是} 對於 %3 的 daily 上限") | domainEnglishFormat.kif 635-635 | |
| (format EnglishLanguage dailyLimit "%1 %n{doesn't} daily limit %2 for %3") | domainEnglishFormat.kif 634-634 | |
| (termFormat ChineseLanguage dailyLimit "每日限额") | domainEnglishFormat.kif 18366-18366 | |
| (termFormat ChineseTraditionalLanguage dailyLimit "每日限額") | domainEnglishFormat.kif 18365-18365 | |
| (termFormat EnglishLanguage dailyLimit "daily limit") | domainEnglishFormat.kif 18364-18364 |
|
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 3.0 is open source software produced by Articulate Software and its partners