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 3967-3968
(domain statementAccount 1 BankStatement) FinancialOntology.kif 3965-3965
(domain statementAccount 2 FinancialAccount) FinancialOntology.kif 3966-3966
(instance statementAccount BinaryPredicate) FinancialOntology.kif 3964-3964

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 55107-55107
(termFormat ChineseTraditionalLanguage statementAccount "聲明帳戶") domainEnglishFormat.kif 55106-55106
(termFormat EnglishLanguage statementAccount "statement account") domainEnglishFormat.kif 55105-55105

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


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