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 429-429
(documentation Deposit EnglishLanguage "An Activity of money being transferred into a customer's account at a financial institution.") FinancialOntology.kif 430-431
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ 49024-SOS_ATM.JPG") pictureList.kif 9139-9139
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 80/ NCR_ATM.JPG/ 450px_NCR_ATM.JPG") pictureList.kif 9140-9140
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px_Cajero_Banelco.jpg") pictureList.kif 8447-8447
(subclass Deposit FinancialTransaction) FinancialOntology.kif 428-428

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


(termFormat ChineseLanguage Deposit "存款") domainEnglishFormat.kif 19149-19149
(termFormat ChineseTraditionalLanguage Deposit "存款") domainEnglishFormat.kif 19148-19148
(termFormat EnglishLanguage Deposit "deposit") domainEnglishFormat.kif 19147-19147

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


(=>
    (and
        (instance ?Deposit Deposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit))
        (MeasureFn ?Balance2 ?CUNIT)))
FinancialOntology.kif 438-455
(=>
    (instance ?Deposit Deposit)
    (exists (?Account)
        (destination ?Deposit
            (CurrencyFn ?Account))))
FinancialOntology.kif 433-436

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 342-353
(=>
    (and
        (monetaryValue ?Check ?Amount)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (destination ?Processing
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (equal
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Deposit ?DepositTime)
        (and
            (instance ?Deposit Deposit)
            (instrument ?Deposit ?Check)
            (equal
                (WhenFn ?Deposit) ?DepositTime)
            (meetsTemporally ?ProcessingTime ?DepositTime)
            (transactionAmount ?Deposit ?Amount)
            (destination ?Deposit
                (CurrencyFn ?Account)))))
FinancialOntology.kif 122-137


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