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 3725-3725
s__instance(s__BankStatement,s__SetOrClass)

s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__BankStatement,s__Proposition)

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

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


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