TreeView Knowledge Base Browser

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