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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BankStatement
BankStatement(bank statement)bank_statement

appearance as argument number 1
-------------------------


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

FinancialOntology.kif 3794-3794
s__instance(s__BankStatement,s__Class)

s__subclass(s__BankStatement,s__Proposition)

s__instance(s__Proposition,s__Class)

FinancialOntology.kif 3793-3793 Bank statement is a subclass of proposition

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__BankStatement,'"银行对帐单"')

domainEnglishFormat.kif 9849-9849
s__termFormat(s__ChineseTraditionalLanguage,s__BankStatement,'"銀行對帳單"')

domainEnglishFormat.kif 9848-9848
s__termFormat(s__EnglishLanguage,s__BankStatement,'"bank statement"')

domainEnglishFormat.kif 9847-9847

appearance as argument number 3
-------------------------


s__domain(s__dateOfStatement__m,n__1,s__BankStatement)

FinancialOntology.kif 3938-3938 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 3810-3810 The number 2 argument of last statement is an instance of bank statement
s__domain(s__statementAccount__m,n__1,s__BankStatement)

FinancialOntology.kif 3965-3965 The number 1 argument of statement account is an instance of bank statement
s__domain(s__statementInterest__m,n__1,s__BankStatement)

FinancialOntology.kif 3989-3989 The number 1 argument of statement interest is an instance of bank statement
s__domain(s__statementPeriod__m,n__1,s__BankStatement)

FinancialOntology.kif 3971-3971 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 3796-3806


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 3.0 is open source software produced by Articulate Software and its partners