statementInterest - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__statementInterest__m,s__EnglishLanguage,'"(statementInterest ?Statement ?Amount) holds if ?Amount is the interest amount as shown on the BankStatement ?Statement."')	FinancialOntology.kif 3922-3923
s__domain(s__statementInterest__m,n__1,s__BankStatement)	FinancialOntology.kif 3920-3920	The number 1 argument of statement interest is an instance of bank statement
s__domain(s__statementInterest__m,n__2,s__CurrencyMeasure)	FinancialOntology.kif 3921-3921	The number 2 argument of statement interest is an instance of currency measure
s__instance(s__statementInterest__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	FinancialOntology.kif 3919-3919	statement interest is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__statementInterest__m,'"%2 %n 是 %1 的 statement 利息"')	domainEnglishFormat.kif 2351-2351
s__format(s__ChineseTraditionalLanguage,s__statementInterest__m,'"%2 %n 是 %1 的 statement 利息"')	domainEnglishFormat.kif 2350-2350
s__format(s__EnglishLanguage,s__statementInterest__m,'"%2 is %n a statement interest of %1"')	domainEnglishFormat.kif 2349-2349
s__termFormat(s__ChineseLanguage,s__statementInterest__m,'"声明利益"')	domainEnglishFormat.kif 55027-55027
s__termFormat(s__ChineseTraditionalLanguage,s__statementInterest__m,'"聲明利益"')	domainEnglishFormat.kif 55026-55026
s__termFormat(s__EnglishLanguage,s__statementInterest__m,'"statement interest"')	domainEnglishFormat.kif 55025-55025

antecedent

( ! [V__Period,V__Interest,V__Account,V__Statement] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Interest,s__Interest) &
       s__instance(V__Account,s__FinancialAccount) &
       s__instance(V__Statement,s__BankStatement))
     =>
     (s__statementInterest(V__Statement,V__Interest)
     &
     s__statementPeriod(V__Statement,V__Period)
   &
   s__statementAccount(V__Statement,V__Account))
=>
s__interestEarned(V__Account,V__Interest,V__Period)
)
)

FinancialOntology.kif 3925-3930