minimumBalance |
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 682-684 | |
(domain minimumBalance 1 FinancialAccount) | FinancialOntology.kif 679-679 | minimumBalance の数値 1 引数は FinancialAccount の instance では %n |
(domain minimumBalance 3 CurrencyMeasure) | FinancialOntology.kif 681-681 | minimumBalance の数値 3 引数は 通貨測定 の instance では %n |
(domainSubclass minimumBalance 2 FinancialTransaction) | FinancialOntology.kif 680-680 | minimumBalance の数値 2 引数は 金融取引 のsubclass では %n |
(instance minimumBalance TernaryPredicate) | FinancialOntology.kif 678-678 | minimumBalance は 3進述語 の instance では %n |
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 37877-37877 | |
(termFormat ChineseTraditionalLanguage minimumBalance "最低餘額") | domainEnglishFormat.kif 37876-37876 | |
(termFormat EnglishLanguage minimumBalance "minimum balance") | domainEnglishFormat.kif 37875-37875 |
antecedent |