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

Formal Language: 



KB Term:  Term intersection
English Word: 

  statementAccount

 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 Le nombre 1 argument de statementAccount est une instance de BankStatement
(domain statementAccount 2 FinancialAccount) FinancialOntology.kif 4054-4054 Le nombre 2 argument de statementAccount est une instance de FinancialAccount
(instance statementAccount BinaryPredicate) FinancialOntology.kif 4052-4052 statementAccount est une instance de pr�dicat binaire

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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