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 3835-3835
(subclass BankStatement Proposition) FinancialOntology.kif 3834-3834 银行对帐单命题subclass

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


(termFormat ChineseLanguage BankStatement "银行对帐单") domainEnglishFormat.kif 9849-9849
(termFormat ChineseTraditionalLanguage BankStatement "銀行對帳單") domainEnglishFormat.kif 9848-9848
(termFormat EnglishLanguage BankStatement "bank statement") domainEnglishFormat.kif 9847-9847

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


(domain dateOfStatement 1 BankStatement) FinancialOntology.kif 3978-3978 声明日期 的 1 数量 是 银行对帐单instance
(domain lastStatement 2 BankStatement) FinancialOntology.kif 3851-3851 最后声明 的 2 数量 是 银行对帐单instance
(domain statementAccount 1 BankStatement) FinancialOntology.kif 4005-4005 声明帐户 的 1 数量 是 银行对帐单instance
(domain statementInterest 1 BankStatement) FinancialOntology.kif 4029-4029 声明利益 的 1 数量 是 银行对帐单instance
(domain statementPeriod 1 BankStatement) FinancialOntology.kif 4011-4011 声明期 的 1 数量 是 银行对帐单instance

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 3837-3847


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