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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Withdrawal

Sigma KEE - Withdrawal
Withdrawal(withdrawal)
bank_withdrawal

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


s__documentation(s__Withdrawal,s__EnglishLanguage,'"An activity of money being transferred from a customers account at a financial institution."')

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

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

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

pictureList.kif 8808-8808
s__instance(s__Withdrawal,s__SetOrClass)

s__subclass(s__Withdrawal,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 438-438 Withdrawal is a subclass of financial transaction

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


s__disjoint(s__Deposit,s__Withdrawal)

FinancialOntology.kif 419-419 Deposit is disjoint from withdrawal
s__termFormat(s__ChineseLanguage,s__Withdrawal,'"退出"')

domainEnglishFormat.kif 63234-63234
s__termFormat(s__ChineseTraditionalLanguage,s__Withdrawal,'"退出"')

domainEnglishFormat.kif 63233-63233
s__termFormat(s__EnglishLanguage,s__Withdrawal,'"withdrawal"')

domainEnglishFormat.kif 63232-63232

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


( ! [V__Account,V__Withdrawal] :
   ((((s__instance(V__Withdrawal,s__Withdrawal) &
           s__instance(V__Account,s__FinancialAccount) &
           s__origin(V__Withdrawal,s__CurrencyFn(V__Account))
       &
       ~(( ? [V__Penalty] :
           ((s__instance(V__Penalty,s__Penalty) &
               s__destination(V__Penalty,s__CurrencyFn(V__Account))
           &
           s__causes(V__Withdrawal,V__Penalty))))))
=>
s__liquidity(V__Account,s__HighLiquidity))
&
(s__liquidity(V__Account,s__HighLiquidity) =>
(s__instance(V__Withdrawal,s__Withdrawal) &
s__instance(V__Account,s__FinancialAccount) &
s__origin(V__Withdrawal,s__CurrencyFn(V__Account))
&
~(( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
     s__destination(V__Penalty,s__CurrencyFn(V__Account))
&
s__causes(V__Withdrawal,V__Penalty))))))))
)
)

FinancialOntology.kif 1767-1777 A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
( ! [V__Account,V__Withdrawal] :
   (((s__instance(V__Account,s__TraditionalSavingsAccount) &
         s__instance(V__Withdrawal,s__Withdrawal) &
         s__origin(V__Withdrawal,s__CurrencyFn(V__Account)))
   =>
   (~(( ? [V__Penalty] :
         ((s__instance(V__Penalty,s__Penalty) &
             s__destination(V__Penalty,s__CurrencyFn(V__Account))
         &
         s__causes(V__Withdrawal,V__Penalty)))))))
)
)

FinancialOntology.kif 1069-1078
( ! [V__CD,V__DateOfWithdrawal,V__Withdrawal,V__MaturityDate] :
   (((s__instance(V__DateOfWithdrawal,s__Day) &
         s__instance(V__MaturityDate,s__Day))
       =>
       (((s__instance(V__CD,s__CertificateOfDeposit) &
             s__maturityDate(V__CD,V__MaturityDate)
           &
           s__instance(V__Withdrawal,s__Withdrawal) &
           s__origin(V__Withdrawal,s__CurrencyFn(V__CD))
       &
       s__date(V__Withdrawal,V__DateOfWithdrawal)
     &
     s__before(s__EndFn(V__DateOfWithdrawal)
  ,s__BeginFn(V__MaturityDate)))
=>
(( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
     s__destination(V__Penalty,s__CurrencyFn(V__CD))
&
s__causes(V__Withdrawal,V__Penalty))))))))
)
)

FinancialOntology.kif 1041-1053
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] :
   (((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__Withdrawal,s__Withdrawal) &
             s__instance(V__Account,s__FinancialAccount) &
             s__origin(V__Withdrawal,V__Account)
           &
           s__transactionAmount(V__Withdrawal,V__Amount)
         &
         s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Withdrawal))
    ,V__Balance1)
   &
   (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Withdrawal))
,V__Balance2)))))
)
)

FinancialOntology.kif 449-457
( ! [V__Withdrawal] :
   ((s__instance(V__Withdrawal,s__Withdrawal) =>
       (( ? [V__Account] :
           ((s__instance(V__Account,s__FinancialAccount) &
               s__origin(V__Withdrawal,s__CurrencyFn(V__Account)))))))
)
)

FinancialOntology.kif 442-447

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


( ! [V__Amount,V__WithdrawalTime,V__Processing,V__Account,V__Check,V__ProcessingTime] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__WithdrawalTime,s__TimeInterval) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Check,s__Check) &
         s__instance(V__ProcessingTime,s__TimeInterval))
       =>
       (((s__monetaryValue(V__Check,V__Amount)
           &
           s__checkAccount(V__Check,V__Account)
         &
         s__instance(V__Processing,s__ProcessingACheck) &
         s__patient(V__Processing,V__Check)
       &
       (s__WhenFn(V__Processing)
       = V__ProcessingTime))
   =>
   (( ? [V__Withdrawal] :
       ((s__instance(V__Withdrawal,s__Withdrawal) &
           s__instrument(V__Withdrawal,V__Check)
         &
         (s__WhenFn(V__Withdrawal)
         = V__WithdrawalTime)
       &
       s__meetsTemporally(V__ProcessingTime,V__WithdrawalTime)
     &
     s__transactionAmount(V__Withdrawal,V__Amount)
   &
   s__origin(V__Withdrawal,V__Account))))))))
)
)

FinancialOntology.kif 104-118


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