loanFeeAmount |
appearance as argument number 1 |
![]() |
(documentation loanFeeAmount EnglishLanguage "(loanFeeAmount ?Loan ?Amount) means that ?Amount is the fee amount of the Loan ?Loan.") | FinancialOntology.kif 4173-4174 | |
(domain loanFeeAmount 1 Loan) | FinancialOntology.kif 4171-4171 | The number 1 argument of loan fee amount is an instance of loan |
(domain loanFeeAmount 2 CurrencyMeasure) | FinancialOntology.kif 4172-4172 | The number 2 argument of loan fee amount is an instance of currency measure |
(instance loanFeeAmount BinaryPredicate) | FinancialOntology.kif 4170-4170 | loan fee amount is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage loanFeeAmount "%2 %n %1 %2 %n 是 %1 的 loan 金额") | domainEnglishFormat.kif 1547-1547 | |
(format ChineseTraditionalLanguage loanFeeAmount "%2 %n 是 %1 的 loan 金額") | domainEnglishFormat.kif 1546-1546 | |
(format EnglishLanguage loanFeeAmount "%2 is %n a loan fee amount of %1") | domainEnglishFormat.kif 1545-1545 | |
(termFormat ChineseLanguage loanFeeAmount "贷款费用金额") | domainEnglishFormat.kif 34851-34851 | |
(termFormat ChineseTraditionalLanguage loanFeeAmount "貸款費用金額") | domainEnglishFormat.kif 34850-34850 | |
(termFormat EnglishLanguage loanFeeAmount "loan fee amount") | domainEnglishFormat.kif 34849-34849 |
antecedent |
![]() |
(=> (and (loanFeeAmount ?Loan ?Amount) (agreementPeriod ?Loan ?Period)) (interestEarned ?Loan ?Amount ?Period)) |
FinancialOntology.kif 4176-4180 |
|
![]() |
![]() |