| 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 4006-4008 | |
| (domain dailyLimit 1 FinancialAccount) | FinancialOntology.kif 4003-4003 | |
| (domain dailyLimit 3 CurrencyMeasure) | FinancialOntology.kif 4005-4005 | |
| (domainSubclass dailyLimit 2 FinancialTransaction) | FinancialOntology.kif 4004-4004 | |
| (instance dailyLimit TernaryPredicate) | FinancialOntology.kif 4002-4002 |
| 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 18363-18363 | |
| (termFormat ChineseTraditionalLanguage dailyLimit "每日限額") | domainEnglishFormat.kif 18362-18362 | |
| (termFormat EnglishLanguage dailyLimit "daily limit") | domainEnglishFormat.kif 18361-18361 |
|
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