Withdrawal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Withdrawal EnglishLanguage "An activity of money being transferred from a customer's account at a financial institution.")	FinancialOntology.kif 439-440
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ 49024-SOS-ATM.JPG")	pictureList.kif 9860-9860
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 80/ NCR_ATM.JPG/ 450px-NCR_ATM.JPG")	pictureList.kif 9861-9861
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px-Cajero_Banelco.jpg")	pictureList.kif 8809-8809
(subclass Withdrawal FinancialTransaction)	FinancialOntology.kif 438-438	subclass Withdrawal and FinancialTransaction

appearance as argument number 2

(disjoint Deposit Withdrawal)	FinancialOntology.kif 419-419	disjoint Deposit and Withdrawal
(termFormat ChineseLanguage Withdrawal "退出")	domainEnglishFormat.kif 63181-63181
(termFormat ChineseTraditionalLanguage Withdrawal "退出")	domainEnglishFormat.kif 63180-63180
(termFormat EnglishLanguage Withdrawal "withdrawal")	domainEnglishFormat.kif 63179-63179

antecedent

(<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity))	FinancialOntology.kif 1754-1764	instance Process and Withdrawal instance FinancialAccount and FinancialAccount origin Process and CurrencyFn FinancialAccount Process instance Process and Penalty destination Process and CurrencyFn FinancialAccount causes Process and Process liquidity FinancialAccount and HighLiquidity
(=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?Account))) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty)))))	FinancialOntology.kif 1059-1068	instance FinancialAccount and TraditionalSavingsAccount instance Process and Withdrawal origin Process and CurrencyFn FinancialAccount Process instance Process and Penalty destination Process and CurrencyFn FinancialAccount causes Process and Process
(=> (and (instance ?CD CertificateOfDeposit) (maturityDate ?CD ?MaturityDate) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?CD)) (date ?Withdrawal ?DateOfWithdrawal) (before (EndFn ?DateOfWithdrawal) (BeginFn ?MaturityDate))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?CD)) (causes ?Withdrawal ?Penalty))))	FinancialOntology.kif 1031-1043	instance FinancialAccount and CertificateOfDeposit maturityDate FinancialAccount and Day instance Process and Withdrawal origin Process and CurrencyFn FinancialAccount date Process and Day before EndFn Day and BeginFn Day Process instance Process and Penalty destination Process and CurrencyFn FinancialAccount causes Process and Process
(=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal ?Amount) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) ?Balance1) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) ?Balance2))	FinancialOntology.kif 449-457	instance FinancialTransaction and Withdrawal instance FinancialAccount and FinancialAccount origin FinancialTransaction and FinancialAccount transactionAmount FinancialTransaction and CurrencyMeasure currentAccountBalance FinancialAccount, ImmediatePastFn WhenFn FinancialTransaction and CurrencyMeasure equal CurrencyMeasure and SubtractionFn CurrencyMeasure and CurrencyMeasure currentAccountBalance FinancialAccount, ImmediateFutureFn FutureFn FinancialTransaction and CurrencyMeasure
(=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)))))	FinancialOntology.kif 442-447	instance Process and Withdrawal FinancialAccount instance FinancialAccount and FinancialAccount origin Process and CurrencyFn FinancialAccount

consequent

(=>
    (and
        (monetaryValue ?Check ?Amount)
        (checkAccount ?Check ?Account)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (equal
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Withdrawal)
        (and
            (instance ?Withdrawal Withdrawal)
            (instrument ?Withdrawal ?Check)
            (equal
                (WhenFn ?Withdrawal) ?WithdrawalTime)
            (meetsTemporally ?ProcessingTime ?WithdrawalTime)
            (transactionAmount ?Withdrawal ?Amount)
            (origin ?Withdrawal ?Account))))

FinancialOntology.kif 104-118

monetaryValue Check and CurrencyMeasure checkAccount Check and FinancialAccount instance Process and ProcessingACheck patient Process and Check equal WhenFn Process and ProcessTime
FinancialTransaction instance FinancialTransaction and Withdrawal instrument FinancialTransaction and Check equal WhenFn FinancialTransaction and FinancialTransactionTime meetsTemporally ProcessTime and FinancialTransactionTime transactionAmount FinancialTransaction and CurrencyMeasure origin FinancialTransaction and FinancialAccount

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

KB Term:			Term intersection

English Word: