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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - statementAccount
statementAccount

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


(documentation statementAccount EnglishLanguage "(statementAccount ?Statement ?Account) means that ?Account is the account of the BankStatement ?Statement.") FinancialOntology.kif 4055-4056
(domain statementAccount 1 BankStatement) FinancialOntology.kif 4053-4053 The number 1 argument of statement account is an instance of bank statement
(domain statementAccount 2 FinancialAccount) FinancialOntology.kif 4054-4054 The number 2 argument of statement account is an instance of financial account
(instance statementAccount BinaryPredicate) FinancialOntology.kif 4052-4052 statement account is an instance of binary predicate

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


(format ChineseLanguage statementAccount "%2 %n 是 %1 的 statement 帐号") domainEnglishFormat.kif 2351-2351
(format ChineseTraditionalLanguage statementAccount "%2 %n 是 %1 的 statement 帳號") domainEnglishFormat.kif 2350-2350
(format EnglishLanguage statementAccount "%2 is %n a statement account of %1") domainEnglishFormat.kif 2349-2349
(termFormat ChineseLanguage statementAccount "声明帐户") domainEnglishFormat.kif 55130-55130
(termFormat ChineseTraditionalLanguage statementAccount "聲明帳戶") domainEnglishFormat.kif 55129-55129
(termFormat EnglishLanguage statementAccount "statement account") domainEnglishFormat.kif 55128-55128

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
(=>
    (and
        (statementInterest ?Statement ?Interest)
        (statementPeriod ?Statement ?Period)
        (statementAccount ?Statement ?Account))
    (interestEarned ?Account ?Interest ?Period))
FinancialOntology.kif 4082-4087


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