Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DepositingACheck
DepositingACheck(depositing a check)

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


(subclass DepositingACheck UsingAnAccount) FinancialOntology.kif 331-331 Depositing a check is a subclass of using an account
(documentation DepositingACheck EnglishLanguage "An activity of depositing a check into a FinancialOrganization.") FinancialOntology.kif 332-333 Depositing a check is a subclass of using an account
(externalImage DepositingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") pictureList.kif 8448-8448 Depositing a check is a subclass of using an account
(externalImage DepositingACheck "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png") pictureList.kif 9141-9141 Depositing a check is a subclass of using an account

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


(termFormat EnglishLanguage DepositingACheck "depositing a check") domainEnglishFormat.kif 19152-19152
(termFormat ChineseTraditionalLanguage DepositingACheck "存款支票") domainEnglishFormat.kif 19153-19153
(termFormat ChineseLanguage DepositingACheck "存款支票") domainEnglishFormat.kif 19154-19154

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


(=>
    (and
        (instance ?Depositing DepositingACheck)
        (instance ?Check Check)
        (agent ?Depositing ?Agent))
    (signedBy ?Check ?Agent))		 FinancialOntology.kif 150-155 If X is an instance of depositing a check, Y is an instance of check, and Z is an agent of X, then Z is a signed by of Y
(=>
    (instance ?Depositing DepositingACheck)
    (exists (?Check)
        (and
            (instance ?Check Check)
            (patient ?Depositing ?Check))))		 FinancialOntology.kif 335-340 If X is an instance of depositing a check, then there exists Y such that Y is an instance of check and Y is a patient of X
(=>
    (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 If X is an instance of depositing a check, Y is a patient of X, Y is an instance of check, Z is a check account of Y, and value of Y is W, then there exists V such that V is an instance of deposit, V ends up at the currency of Z, and W is a transaction amount of V

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 139-148 If X is an instance of check, Y is an instance of processing a check, and X is a patient of Y, then there exists Z such that Z is an instance of depositing a check, X is a patient of Z, and Z exists during immediately before the time of existence of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners