BankStatement - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__BankStatement,s__EnglishLanguage,'"A monthly report sent to a debtor or bank depositor."')

FinancialOntology.kif 3725-3725

FinancialOntology.kif 3724-3724

appearance as argument number 2

s__termFormat(s__ChineseLanguage,s__BankStatement,'"银行对帐单"')	domainEnglishFormat.kif 9853-9853
s__termFormat(s__ChineseTraditionalLanguage,s__BankStatement,'"銀行對帳單"')	domainEnglishFormat.kif 9852-9852
s__termFormat(s__EnglishLanguage,s__BankStatement,'"bank statement"')	domainEnglishFormat.kif 9851-9851

appearance as argument number 3

s__domain(s__dateOfStatement__m,n__1,s__BankStatement)	FinancialOntology.kif 3869-3869	The number 1 argument of date of statement is an instance of bank statement
s__domain(s__lastStatement__m,n__2,s__BankStatement)	FinancialOntology.kif 3741-3741	The number 2 argument of last statement is an instance of bank statement
s__domain(s__statementAccount__m,n__1,s__BankStatement)	FinancialOntology.kif 3896-3896	The number 1 argument of statement account is an instance of bank statement
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__statementPeriod__m,n__1,s__BankStatement)	FinancialOntology.kif 3902-3902	The number 1 argument of statement period is an instance of bank statement

antecedent

( ! [V__Account,V__Statement] :
   (s__instance(V__Account,s__FinancialAccount) =>
     (s__instance(V__Statement,s__BankStatement) &
       s__statementAccount(V__Statement,V__Account))
   =>
   ( ? [V__Transaction] :
     ((s__instance(V__Transaction,s__FinancialTransaction) &
         (s__origin(V__Transaction,s__CurrencyFn(V__Account))
       |
       s__destination(V__Transaction,s__CurrencyFn(V__Account)))
&
s__realization(V__Statement,V__Transaction))))
)
)

FinancialOntology.kif 3727-3737