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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DepositAccount
DepositAccount(deposit account)bank_account, fund, giro_account, monetary_fund, pension_fund, slush_fund, superannuation_fund, war_chest

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


s__documentation(s__DepositAccount,s__EnglishLanguage,'"An account where money is deposited for checking, savings or brokerage use."')

FinancialOntology.kif 979-980
s__subclass(s__DepositAccount,s__FinancialAccount)

s__instance(s__FinancialAccount,s__SetOrClass)

s__instance(s__DepositAccount,s__SetOrClass)

FinancialOntology.kif 978-978 Deposit account is a subclass of financial account

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


s__subclass(s__CheckingAccount,s__DepositAccount)

s__instance(s__DepositAccount,s__SetOrClass)

s__instance(s__CheckingAccount,s__SetOrClass)

FinancialOntology.kif 1080-1080 Checking account is a subclass of deposit account
s__instance(s__InvestmentAccount,s__SetOrClass)

s__subclass(s__InvestmentAccount,s__DepositAccount)

s__instance(s__DepositAccount,s__SetOrClass)

FinancialOntology.kif 1098-1098 Investment account is a subclass of deposit account
s__termFormat(s__ChineseLanguage,s__DepositAccount,'"存款账户"')

domainEnglishFormat.kif 19137-19137
s__termFormat(s__ChineseTraditionalLanguage,s__DepositAccount,'"存款賬戶"')

domainEnglishFormat.kif 19136-19136
s__termFormat(s__EnglishLanguage,s__DepositAccount,'"deposit account"')

domainEnglishFormat.kif 19135-19135

consequent
-------------------------


( ! [V__Agent,V__Card] :
   ((s__instance(V__Agent,s__CognitiveAgent) =>
       (((s__instance(V__Card,s__DebitCard) &
             s__possesses(V__Agent,V__Card))
         =>
         (( ? [V__Account] :
             ((s__instance(V__Account,s__DepositAccount) &
                 s__cardAccount(V__Card,V__Account)
               &
               s__accountHolder(V__Account,V__Agent))))))))
)
)

FinancialOntology.kif 203-211


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