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 9142-9142
(externalImage DepositingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") pictureList.kif 8449-8449
(subclass DepositingACheck UsingAnAccount) FinancialOntology.kif 329-329

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


(termFormat ChineseLanguage DepositingACheck "存款支票") domainEnglishFormat.kif 19152-19152
(termFormat ChineseTraditionalLanguage DepositingACheck "存款支票") domainEnglishFormat.kif 19151-19151
(termFormat EnglishLanguage DepositingACheck "depositingA check") domainEnglishFormat.kif 19150-19150

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 3.0 is open source software produced by Articulate Software and its partners