currentAccountBalance |
appearance as argument number 1 |
![]() |
(documentation currentAccountBalance EnglishLanguage "(currentAccountBalance ?Account ?Date ?Amount) means that ?Amount is the balance of the FinancialAccount ?Account as of the date ?Date.") | FinancialOntology.kif 677-678 | |
(domain currentAccountBalance 1 FinancialAccount) | FinancialOntology.kif 674-674 | currentAccountBalance の数値 1 引数は FinancialAccount の instance では |
(domain currentAccountBalance 2 Day) | FinancialOntology.kif 675-675 | currentAccountBalance の数値 2 引数は 日 の instance では |
(domain currentAccountBalance 3 CurrencyMeasure) | FinancialOntology.kif 676-676 | currentAccountBalance の数値 3 引数は 通貨測定 の instance では |
(instance currentAccountBalance TernaryPredicate) | FinancialOntology.kif 673-673 | currentAccountBalance は 3進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage currentAccountBalance "%1 %n{不是} 对于 %3 的 current 帐户存款") | domainEnglishFormat.kif 620-620 | |
(format ChineseTraditionalLanguage currentAccountBalance "%1 %n{不是} 對於 %3 的 current 帳戶存款") | domainEnglishFormat.kif 619-619 | |
(format EnglishLanguage currentAccountBalance "%1 %n{doesn't} current account balance %2 for %3") | domainEnglishFormat.kif 618-618 | |
(subrelation availableBalance currentAccountBalance) | FinancialOntology.kif 3824-3824 | availableBalance は currentAccountBalance の subrelation では |
(termFormat ChineseLanguage currentAccountBalance "目前账户余额") | domainEnglishFormat.kif 18123-18123 | availableBalance は currentAccountBalance の subrelation では |
(termFormat ChineseTraditionalLanguage currentAccountBalance "目前賬戶餘額") | domainEnglishFormat.kif 18122-18122 | availableBalance は currentAccountBalance の subrelation では |
(termFormat EnglishLanguage currentAccountBalance "current account balance") | domainEnglishFormat.kif 18121-18121 | availableBalance は currentAccountBalance の subrelation では |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |