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


KB Term:  Term intersection
English Word: 

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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners