principalAmount |
appearance as argument number 1 |
(documentation principalAmount EnglishLanguage "(principalAmount ?ACCOUNT ?BALANCE) means that ?BALANCE is the amount borrowed, or the part of the amount borrowed which remains unpaid (excluding interest).") | FinancialOntology.kif 731-733 | |
(domain principalAmount 1 FinancialAccount) | FinancialOntology.kif 729-729 | principalAmount の数値 1 引数は FinancialAccount の instance では %n |
(domain principalAmount 2 CurrencyMeasure) | FinancialOntology.kif 730-730 | principalAmount の数値 2 引数は 通貨測定 の instance では %n |
(instance principalAmount BinaryPredicate) | FinancialOntology.kif 728-728 | principalAmount は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage principalAmount "%2 %n 是 %1 的 principal 总额") | domainEnglishFormat.kif 2055-2055 | |
(format ChineseTraditionalLanguage principalAmount "%2 %n 是 %1 的 principal 總額") | domainEnglishFormat.kif 2054-2054 | |
(format EnglishLanguage principalAmount "%2 is %n a principal amount of %1") | domainEnglishFormat.kif 2053-2053 | |
(termFormat ChineseLanguage principalAmount "本金") | domainEnglishFormat.kif 47348-47348 | |
(termFormat ChineseTraditionalLanguage principalAmount "本金") | domainEnglishFormat.kif 47347-47347 | |
(termFormat EnglishLanguage principalAmount "principal amount") | domainEnglishFormat.kif 47346-47346 |
antecedent |