TreeView Knowledge Base Browser

appearance as argument number 1

(documentation statementInterest EnglishLanguage "(statementInterest ?Statement ?Amount) holds if ?Amount is the interest amount as shown on the BankStatement ?Statement.")	FinancialOntology.kif 4079-4080
(domain statementInterest 1 BankStatement)	FinancialOntology.kif 4077-4077	statementInterest の数値 1 引数は BankStatement の instance では %n
(domain statementInterest 2 CurrencyMeasure)	FinancialOntology.kif 4078-4078	statementInterest の数値 2 引数は通貨測定の instance では %n
(instance statementInterest BinaryPredicate)	FinancialOntology.kif 4076-4076	statementInterest は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage statementInterest "%2 %n 是 %1 的 statement 利息")	domainEnglishFormat.kif 2355-2355
(format ChineseTraditionalLanguage statementInterest "%2 %n 是 %1 的 statement 利息")	domainEnglishFormat.kif 2354-2354
(format EnglishLanguage statementInterest "%2 is %n a statement interest of %1")	domainEnglishFormat.kif 2353-2353
(termFormat ChineseLanguage statementInterest "声明利益")	domainEnglishFormat.kif 55134-55134
(termFormat ChineseTraditionalLanguage statementInterest "聲明利益")	domainEnglishFormat.kif 55133-55133
(termFormat EnglishLanguage statementInterest "statement interest")	domainEnglishFormat.kif 55132-55132

antecedent

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

FinancialOntology.kif 4082-4087