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

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


(disjoint Deposit Withdrawal) FinancialOntology.kif 419-419
(termFormat ChineseLanguage Withdrawal "退出") domainEnglishFormat.kif 63217-63217
(termFormat ChineseTraditionalLanguage Withdrawal "退出") domainEnglishFormat.kif 63216-63216
(termFormat EnglishLanguage Withdrawal "withdrawal") domainEnglishFormat.kif 63215-63215

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
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners