TreeView Knowledge Base Browser

appearance as argument number 1

(instance loanFeeAmount BinaryPredicate)	FinancialOntology.kif 4214-4214	loan fee amount is an instance of binary predicate
(domain loanFeeAmount 1 Loan)	FinancialOntology.kif 4215-4215	The number 1 argument of loan fee amount is an instance of loan
(domain loanFeeAmount 2 CurrencyMeasure)	FinancialOntology.kif 4216-4216	The number 2 argument of loan fee amount is an instance of currency measure
(documentation loanFeeAmount EnglishLanguage "(loanFeeAmount ?Loan ?Amount) means that ?Amount is the fee amount of the Loan ?Loan.")	FinancialOntology.kif 4217-4218	The number 2 argument of loan fee amount is an instance of currency measure

appearance as argument number 2

(format EnglishLanguage loanFeeAmount "%2 is %n a loan fee amount of %1")	domainEnglishFormat.kif 1545-1545
(format ChineseTraditionalLanguage loanFeeAmount "%2 %n 是 %1 的 loan 金額")	domainEnglishFormat.kif 1546-1546
(format ChineseLanguage loanFeeAmount "%2 %n %1 %2 %n 是 %1 的 loan 金额")	domainEnglishFormat.kif 1547-1547
(termFormat EnglishLanguage loanFeeAmount "loan fee amount")	domainEnglishFormat.kif 34825-34825
(termFormat ChineseTraditionalLanguage loanFeeAmount "貸款費用金額")	domainEnglishFormat.kif 34826-34826
(termFormat ChineseLanguage loanFeeAmount "贷款费用金额")	domainEnglishFormat.kif 34827-34827

antecedent

(=>
    (and
        (loanFeeAmount ?Loan ?Amount)
        (agreementPeriod ?Loan ?Period))
    (interestEarned ?Loan ?Amount ?Period))

If X is a loan fee amount of Y and Z is an agreement period of Y, then Y is interest earned X for Z