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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Deposit
Deposit

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


(disjoint Deposit Withdrawal) FinancialOntology.kif 419-419 disjoint Deposit and Withdrawal
(documentation Deposit EnglishLanguage "An Activity of money being transferred into a customer's account at a financial institution.") FinancialOntology.kif 420-421
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ 49024-SOS-ATM.JPG") pictureList.kif 9145-9145
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 80/ NCR_ATM.JPG/ 450px-NCR_ATM.JPG") pictureList.kif 9146-9146
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px-Cajero_Banelco.jpg") pictureList.kif 8450-8450
(subclass Deposit FinancialTransaction) FinancialOntology.kif 418-418 subclass Deposit and FinancialTransaction

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


(termFormat ChineseLanguage Deposit "存款") domainEnglishFormat.kif 19063-19063
(termFormat ChineseTraditionalLanguage Deposit "存款") domainEnglishFormat.kif 19062-19062
(termFormat EnglishLanguage Deposit "deposit") domainEnglishFormat.kif 19061-19061

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


(=>
    (and
        (instance ?Deposit Deposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit)) ?Balance1)
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit)) ?Balance2))		 FinancialOntology.kif 428-436
(=>
    (instance ?Deposit Deposit)
    (exists (?Account)
        (destination ?Deposit
            (CurrencyFn ?Account))))		 FinancialOntology.kif 423-426

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


(=>
    (and
        (instance ?Depositing DepositingACheck)
        (patient ?Depositing ?Check)
        (instance ?Check Check)
        (checkAccount ?Check ?Account)
        (monetaryValue ?Check ?Amount))
    (exists (?Deposit)
        (and
            (instance ?Deposit Deposit)
            (destination ?Deposit
                (CurrencyFn ?Account))
            (transactionAmount ?Deposit ?Amount))))		 FinancialOntology.kif 340-351
(=>
    (and
        (monetaryValue ?Check ?Amount)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (destination ?Processing
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (equal
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Deposit)
        (and
            (instance ?Deposit Deposit)
            (instrument ?Deposit ?Check)
            (equal
                (WhenFn ?Deposit) ?DepositTime)
            (meetsTemporally ?ProcessingTime ?DepositTime)
            (transactionAmount ?Deposit ?Amount)
            (destination ?Deposit
                (CurrencyFn ?Account)))))		 FinancialOntology.kif 120-135


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