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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Withdrawal
Withdrawal

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
(=>
    (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
(=>
    (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 ?Withdrawal Withdrawal)
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (origin ?Withdrawal
                (CurrencyFn ?Account)))))
FinancialOntology.kif 442-447

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


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