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

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