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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BankStatement
BankStatement

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


(documentation BankStatement EnglishLanguage "A monthly report sent to a debtor or bank depositor.") FinancialOntology.kif 3773-3773
(subclass BankStatement Proposition) FinancialOntology.kif 3772-3772

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


(termFormat ChineseLanguage BankStatement "银行对帐单") domainEnglishFormat.kif 9857-9857
(termFormat ChineseTraditionalLanguage BankStatement "銀行對帳單") domainEnglishFormat.kif 9856-9856
(termFormat EnglishLanguage BankStatement "bank statement") domainEnglishFormat.kif 9855-9855

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


(domain dateOfStatement 1 BankStatement) FinancialOntology.kif 3917-3917
(domain lastStatement 2 BankStatement) FinancialOntology.kif 3789-3789
(domain statementAccount 1 BankStatement) FinancialOntology.kif 3944-3944
(domain statementInterest 1 BankStatement) FinancialOntology.kif 3968-3968
(domain statementPeriod 1 BankStatement) FinancialOntology.kif 3950-3950

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 3775-3785


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