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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DepositingACheck
DepositingACheck

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


(documentation DepositingACheck EnglishLanguage "An activity of depositing a check into a FinancialOrganization.") FinancialOntology.kif 330-331
(externalImage DepositingACheck "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png") pictureList.kif 9147-9147 externalImage DepositingACheck and "http://upload.wikimedia.org/wikipedia/commons/9/9e/ CanadianChequeSamplePAR.png"
(externalImage DepositingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") pictureList.kif 8451-8451 externalImage DepositingACheck and "http://upload.wikimedia.org/wikipedia/commons/b/b9/ CanadianChequeSample.png"
(subclass DepositingACheck UsingAnAccount) FinancialOntology.kif 329-329 subclass DepositingACheck and UsingAnAccount

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


(termFormat ChineseLanguage DepositingACheck "存款支票") domainEnglishFormat.kif 19081-19081 termFormat ChineseLanguage, DepositingACheck and "存款支票"
(termFormat ChineseTraditionalLanguage DepositingACheck "存款支票") domainEnglishFormat.kif 19080-19080 termFormat ChineseTraditionalLanguage, DepositingACheck and "存款支票"
(termFormat EnglishLanguage DepositingACheck "depositingA check") domainEnglishFormat.kif 19079-19079 termFormat EnglishLanguage, DepositingACheck and "depositingA check"

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


(=>
    (and
        (instance ?Depositing DepositingACheck)
        (instance ?Check Check)
        (agent ?Depositing ?Agent))
    (signedBy ?Check ?Agent))
FinancialOntology.kif 148-153
(=>
    (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
(=>
    (instance ?Depositing DepositingACheck)
    (exists (?Check)
        (and
            (instance ?Check Check)
            (patient ?Depositing ?Check))))
FinancialOntology.kif 333-338

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


(=>
    (and
        (instance ?Check Check)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check))
    (exists (?Depositing)
        (and
            (instance ?Depositing DepositingACheck)
            (patient ?Depositing ?Check)
            (time ?Depositing
                (ImmediatePastFn
                    (WhenFn ?Processing))))))
FinancialOntology.kif 137-146


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