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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Deposit

Sigma KEE - Deposit
Deposit

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


(disjoint Deposit Withdrawal) FinancialOntology.kif 427-427 Deposit est disjoint de Withdrawal
(documentation Deposit EnglishLanguage "An Activity of money being transferred into a customer's account at a financial institution.") FinancialOntology.kif 428-429
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ 49024-SOS-ATM.JPG") pictureList.kif 9140-9140
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 80/ NCR_ATM.JPG/ 450px-NCR_ATM.JPG") pictureList.kif 9141-9141
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px-Cajero_Banelco.jpg") pictureList.kif 8448-8448
(subclass Deposit FinancialTransaction) FinancialOntology.kif 426-426 Deposit est une sous-classe de financial transaction

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


(termFormat ChineseLanguage Deposit "存款") domainEnglishFormat.kif 19140-19140
(termFormat ChineseTraditionalLanguage Deposit "存款") domainEnglishFormat.kif 19139-19139
(termFormat EnglishLanguage Deposit "deposit") domainEnglishFormat.kif 19138-19138

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 436-453
(=>
    (instance ?Deposit Deposit)
    (exists (?Account)
        (destination ?Deposit
            (CurrencyFn ?Account))))
FinancialOntology.kif 431-434

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 ?DepositTime)
        (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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