TreeView Knowledge Base Browser

appearance as argument number 1

(instance statementInterest BinaryPredicate)	FinancialOntology.kif 4134-4134	statement interest is an instance of binary predicate
(domain statementInterest 1 BankStatement)	FinancialOntology.kif 4135-4135	The number 1 argument of statement interest is an instance of bank statement
(domain statementInterest 2 CurrencyMeasure)	FinancialOntology.kif 4136-4136	The number 2 argument of statement interest is an instance of currency measure
(documentation statementInterest EnglishLanguage "(statementInterest ?Statement ?Amount) holds if ?Amount is the interest amount as shown on the BankStatement ?Statement.")	FinancialOntology.kif 4137-4138	The number 2 argument of statement interest is an instance of currency measure

appearance as argument number 2

(format EnglishLanguage statementInterest "%2 is %n a statement interest of %1")	domainEnglishFormat.kif 2357-2357
(format ChineseTraditionalLanguage statementInterest "%2 %n 是 %1 的 statement 利息")	domainEnglishFormat.kif 2358-2358
(format ChineseLanguage statementInterest "%2 %n 是 %1 的 statement 利息")	domainEnglishFormat.kif 2359-2359
(termFormat EnglishLanguage statementInterest "statement interest")	domainEnglishFormat.kif 55129-55129
(termFormat ChineseTraditionalLanguage statementInterest "聲明利益")	domainEnglishFormat.kif 55130-55130
(termFormat ChineseLanguage statementInterest "声明利益")	domainEnglishFormat.kif 55131-55131

antecedent

(=>
    (and
        (statementInterest ?Statement ?Interest)
        (statementPeriod ?Statement ?Period)
        (statementAccount ?Statement ?Account))
    (interestEarned ?Account ?Interest ?Period))

If X is a statement interest of Y, Z is a statement period of Y, and W is a statement account of Y, then W is interest earned X for Z