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 3883-3883
(subclass BankStatement Proposition) FinancialOntology.kif 3882-3882 BankStatement命題subclass では %n

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


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

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


(domain dateOfStatement 1 BankStatement) FinancialOntology.kif 4026-4026 dateOfStatement の数値 1 引数は BankStatementinstance では %n
(domain lastStatement 2 BankStatement) FinancialOntology.kif 3899-3899 lastStatement の数値 2 引数は BankStatementinstance では %n
(domain statementAccount 1 BankStatement) FinancialOntology.kif 4053-4053 statementAccount の数値 1 引数は BankStatementinstance では %n
(domain statementInterest 1 BankStatement) FinancialOntology.kif 4077-4077 statementInterest の数値 1 引数は BankStatementinstance では %n
(domain statementPeriod 1 BankStatement) FinancialOntology.kif 4059-4059 statementPeriod の数値 1 引数は BankStatementinstance では %n

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 3885-3895


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