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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Deposit
Deposit(deposit)
bank_deposit, demand_deposit, deposit

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


s__disjoint(s__Deposit,s__Withdrawal)

FinancialOntology.kif 419-419 Deposit is disjoint from withdrawal
s__documentation(s__Deposit,s__EnglishLanguage,'"An Activity of money being transferred into a customers account at a financial institution."')

FinancialOntology.kif 420-421
s__externalImage(s__Deposit,'"http://upload.wikimedia.org/wikipedia/commons/d/ d3/ 49024-SOS-ATM.JPG"')

pictureList.kif 9144-9144
s__externalImage(s__Deposit,'"http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 80/ NCR_ATM.JPG/ 450px-NCR_ATM.JPG"')

pictureList.kif 9145-9145
s__externalImage(s__Deposit,'"http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px-Cajero_Banelco.jpg"')

pictureList.kif 8449-8449
s__instance(s__Deposit,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__Deposit,s__FinancialTransaction)

FinancialOntology.kif 418-418 Deposit is a subclass of financial transaction

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


s__termFormat(s__ChineseLanguage,s__Deposit,'"存款"')

domainEnglishFormat.kif 19131-19131
s__termFormat(s__ChineseTraditionalLanguage,s__Deposit,'"存款"')

domainEnglishFormat.kif 19130-19130
s__termFormat(s__EnglishLanguage,s__Deposit,'"deposit"')

domainEnglishFormat.kif 19129-19129

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


( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Deposit,s__Deposit) &
             s__instance(V__Account,s__FinancialAccount) &
             s__destination(V__Deposit,s__CurrencyFn(V__Account))
         &
         s__transactionAmount(V__Deposit,V__Amount)
       &
       s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit))
  ,V__Balance1)
&
(V__Balance2 = s__AdditionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit))
,V__Balance2)))))
)
)

FinancialOntology.kif 428-436
( ! [V__Deposit] :
   ((s__instance(V__Deposit,s__Deposit) =>
       (( ? [V__Account] :
           ((s__instance(V__Account,s__FinancialAccount) &
               s__destination(V__Deposit,s__CurrencyFn(V__Account)))))))
)
)

FinancialOntology.kif 423-426

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


( ! [V__Amount,V__Account,V__Check,V__Depositing] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Account,s__FinancialAccount))
       =>
       (((s__instance(V__Depositing,s__DepositingACheck) &
             s__patient(V__Depositing,V__Check)
           &
           s__instance(V__Check,s__Check) &
           s__checkAccount(V__Check,V__Account)
         &
         s__monetaryValue(V__Check,V__Amount))
     =>
     (( ? [V__Deposit] :
         ((s__instance(V__Deposit,s__Deposit) &
             s__destination(V__Deposit,s__CurrencyFn(V__Account))
         &
         s__transactionAmount(V__Deposit,V__Amount))))))))
)
)

FinancialOntology.kif 340-351
( ! [V__Amount,V__Processing,V__Account,V__Check,V__ProcessingTime,V__DepositTime] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Check,s__Object) &
         s__instance(V__ProcessingTime,s__TimeInterval) &
         s__instance(V__DepositTime,s__TimeInterval))
       =>
       (((s__monetaryValue(V__Check,V__Amount)
           &
           s__instance(V__Processing,s__ProcessingACheck) &
           s__patient(V__Processing,V__Check)
         &
         s__destination(V__Processing,s__CurrencyFn(V__Account))
     &
     s__instance(V__Account,s__FinancialAccount) &
     (s__WhenFn(V__Processing)
     = V__ProcessingTime))
=>
(( ? [V__Deposit] :
     ((s__instance(V__Deposit,s__Deposit) &
         s__instrument(V__Deposit,V__Check)
       &
       (s__WhenFn(V__Deposit)
       = V__DepositTime)
     &
     s__meetsTemporally(V__ProcessingTime,V__DepositTime)
   &
   s__transactionAmount(V__Deposit,V__Amount)
&
s__destination(V__Deposit,s__CurrencyFn(V__Account)))))))))
)
)

FinancialOntology.kif 120-135


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