Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  BankStatement

 Sigma KEE - BankStatement
BankStatement(bank statement)bank_statement

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


(subclass BankStatement Proposition) FinancialOntology.kif 3940-3940 Bank statement is a subclass of proposition
(documentation BankStatement EnglishLanguage "A monthly report sent to a debtor or bank depositor.") FinancialOntology.kif 3941-3941 Bank statement is a subclass of proposition

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


(termFormat EnglishLanguage BankStatement "bank statement") domainEnglishFormat.kif 9838-9838
(termFormat ChineseTraditionalLanguage BankStatement "銀行對帳單") domainEnglishFormat.kif 9839-9839
(termFormat ChineseLanguage BankStatement "银行对帐单") domainEnglishFormat.kif 9840-9840

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


(domain lastStatement 2 BankStatement) FinancialOntology.kif 3957-3957 The number 2 argument of last statement is an instance of bank statement
(domain dateOfStatement 1 BankStatement) FinancialOntology.kif 4084-4084 The number 1 argument of date of statement is an instance of bank statement
(domain statementAccount 1 BankStatement) FinancialOntology.kif 4111-4111 The number 1 argument of statement account is an instance of bank statement
(domain statementPeriod 1 BankStatement) FinancialOntology.kif 4117-4117 The number 1 argument of statement period is an instance of bank statement
(domain statementInterest 1 BankStatement) FinancialOntology.kif 4135-4135 The number 1 argument of statement interest is an instance of bank statement

antecedent
-------------------------


(=>
    (and
        (instance ?Statement BankStatement)
        (statementAccount ?Statement ?Account))
    (exists (?Transaction)
        (and
            (instance ?Transaction FinancialTransaction)
            (or
                (origin ?Transaction
                    (CurrencyFn ?Account))
                (destination ?Transaction
                    (CurrencyFn ?Account)))
            (realization ?Statement ?Transaction))))		 FinancialOntology.kif 3943-3953 If X is an instance of bank statement and Y is a statement account of X, then there exists Z such that Z is an instance of financial transaction, Z originates at the currency of Y or Z ends up at the currency of Y, and X expresses the content of Z


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners