Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| dailyLimit |
| appearance as argument number 1 |
|
| (instance dailyLimit TernaryPredicate) | FinancialOntology.kif 4047-4047 | daily limit is an instance of ternary predicate |
| (domain dailyLimit 1 FinancialAccount) | FinancialOntology.kif 4048-4048 | The number 1 argument of daily limit is an instance of financial account |
| (domainSubclass dailyLimit 2 FinancialTransaction) | FinancialOntology.kif 4049-4049 | The number 2 argument of daily limit is a subclass of financial transaction |
| (domain dailyLimit 3 CurrencyMeasure) | FinancialOntology.kif 4050-4050 | The number 3 argument of daily limit is an instance of currency measure |
| (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 4051-4053 | The number 3 argument of daily limit is an instance of currency measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage dailyLimit "%1 %n{doesn't} daily limit %2 for %3") | domainEnglishFormat.kif 634-634 | |
| (format ChineseTraditionalLanguage dailyLimit "%1 %n{不是} 對於 %3 的 daily 上限") | domainEnglishFormat.kif 635-635 | |
| (format ChineseLanguage dailyLimit "%1 %n{不是} 對於 %3 的 daily 上限") | domainEnglishFormat.kif 636-636 | |
| (termFormat EnglishLanguage dailyLimit "daily limit") | domainEnglishFormat.kif 18366-18366 | |
| (termFormat ChineseTraditionalLanguage dailyLimit "每日限額") | domainEnglishFormat.kif 18367-18367 | |
| (termFormat ChineseLanguage dailyLimit "每日限额") | domainEnglishFormat.kif 18368-18368 |
|