Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - statementInterest
statementInterest

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners