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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DepositingACheck

Sigma KEE - DepositingACheck
DepositingACheck(depositingA check)

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 DepositingA check is a subclass of using an account

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 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