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 458-459
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ 49024-SOS_ATM.JPG") pictureList.kif 9841-9841
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 80/ NCR_ATM.JPG/ 450px_NCR_ATM.JPG") pictureList.kif 9842-9842
(externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px_Cajero_Banelco.jpg") pictureList.kif 8803-8803
(subclass Withdrawal FinancialTransaction) FinancialOntology.kif 457-457 Withdrawal は 金融取引 の subclass では

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


(disjoint Deposit Withdrawal) FinancialOntology.kif 429-429 Deposit と Withdrawal は disjoint では
(termFormat ChineseLanguage Withdrawal "退出") domainEnglishFormat.kif 63261-63261 Deposit と Withdrawal は disjoint では
(termFormat ChineseTraditionalLanguage Withdrawal "退出") domainEnglishFormat.kif 63260-63260 Deposit と Withdrawal は disjoint では
(termFormat EnglishLanguage Withdrawal "withdrawing from an account") domainEnglishFormat.kif 63259-63259 Deposit と Withdrawal は disjoint では

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 1835-1845 工程 は Withdrawal の instance では FinancialAccount は FinancialAccount の instance では 工程 は CurrencyFn FinancialAccount から originates 工程 工程 は Penalty の instance では 工程 は CurrencyFn FinancialAccount に ends 工程 は 工程 を causes 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 1117-1126
(=>
    (and
        (instance ?Account TraditionalSavingsAccount)
        (instance ?Withdrawal Withdrawal))
    (exists (?A)
        (and
            (patient ?Withdrawal ?Account)
            (agent ?Withdrawal ?A)
            (not
                (exists (?Penalty)
                    (and
                        (instance ?Penalty Penalty)
                        (patient ?Penalty ?A)))))))		 FinancialOntology.kif 1128-1140
(=>
    (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 1089-1101
(=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal ?Account)
        (transactionAmount ?Withdrawal
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Withdrawal))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Withdrawal))
        (MeasureFn ?Balance2 ?CUNIT)))		 FinancialOntology.kif 468-483
(=>
    (instance ?Withdrawal Withdrawal)
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (origin ?Withdrawal
                (CurrencyFn ?Account)))))		 FinancialOntology.kif 461-466

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


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


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