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


s__documentation(s__statementAccount__m,s__EnglishLanguage,'"(statementAccount ?Statement ?Account) means that ?Account is the account of the BankStatement ?Statement."')

FinancialOntology.kif 3967-3968
s__domain(s__statementAccount__m,n__1,s__BankStatement)

FinancialOntology.kif 3965-3965 The number 1 argument of statement account is an instance of bank statement
s__domain(s__statementAccount__m,n__2,s__FinancialAccount)

FinancialOntology.kif 3966-3966 The number 2 argument of statement account is an instance of financial account
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__statementAccount__m,s__BinaryPredicate)

FinancialOntology.kif 3964-3964 statement account is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__statementAccount__m,'"%2 %n 是 %1 的 statement 帐号"')

domainEnglishFormat.kif 2351-2351
s__format(s__ChineseTraditionalLanguage,s__statementAccount__m,'"%2 %n 是 %1 的 statement 帳號"')

domainEnglishFormat.kif 2350-2350
s__format(s__EnglishLanguage,s__statementAccount__m,'"%2 is %n a statement account of %1"')

domainEnglishFormat.kif 2349-2349
s__termFormat(s__ChineseLanguage,s__statementAccount__m,'"声明帐户"')

domainEnglishFormat.kif 55107-55107
s__termFormat(s__ChineseTraditionalLanguage,s__statementAccount__m,'"聲明帳戶"')

domainEnglishFormat.kif 55106-55106
s__termFormat(s__EnglishLanguage,s__statementAccount__m,'"statement account"')

domainEnglishFormat.kif 55105-55105

antecedent
-------------------------


( ! [V__Account,V__Statement] :
   ((s__instance(V__Account,s__FinancialAccount) =>
       (((s__instance(V__Statement,s__BankStatement) &
             s__statementAccount(V__Statement,V__Account))
         =>
         (( ? [V__Transaction] :
             ((s__instance(V__Transaction,s__FinancialTransaction) &
                 (s__origin(V__Transaction,s__CurrencyFn(V__Account))
               |
               s__destination(V__Transaction,s__CurrencyFn(V__Account)))
         &
         s__realization(V__Statement,V__Transaction))))))))
)
)

FinancialOntology.kif 3796-3806
( ! [V__Period,V__Interest,V__Account,V__Statement] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Statement,s__BankStatement))
       =>
       (((s__statementInterest(V__Statement,V__Interest)
           &
           s__statementPeriod(V__Statement,V__Period)
         &
         s__statementAccount(V__Statement,V__Account))
     =>
     (s__interestEarned(V__Account,V__Interest,V__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