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 4069-4070
(domain statementAccount 1 BankStatement) FinancialOntology.kif 4067-4067 The number 1 argument of statement account is an instance of bank statement
(domain statementAccount 2 FinancialAccount) FinancialOntology.kif 4068-4068 The number 2 argument of statement account is an instance of financial account
(instance statementAccount BinaryPredicate) FinancialOntology.kif 4066-4066 statement account is an instance of binary predicate

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


(format ChineseLanguage statementAccount "%2 %n 是 %1 的 statement 帐号") domainEnglishFormat.kif 2355-2355
(format ChineseTraditionalLanguage statementAccount "%2 %n 是 %1 的 statement 帳號") domainEnglishFormat.kif 2354-2354
(format EnglishLanguage statementAccount "%2 is %n a statement account of %1") domainEnglishFormat.kif 2353-2353
(termFormat ChineseLanguage statementAccount "声明帐户") domainEnglishFormat.kif 55161-55161
(termFormat ChineseTraditionalLanguage statementAccount "聲明帳戶") domainEnglishFormat.kif 55160-55160
(termFormat EnglishLanguage statementAccount "statement account") domainEnglishFormat.kif 55159-55159

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


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