DepositingACheck - Sigma Knowledge base Browser

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 9141-9141
(externalImage DepositingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png")	pictureList.kif 8448-8448
(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 19163-19163
(termFormat ChineseTraditionalLanguage DepositingACheck "存款支票")	domainEnglishFormat.kif 19162-19162
(termFormat EnglishLanguage DepositingACheck "depositingA check")	domainEnglishFormat.kif 19161-19161

antecedent

(=> (and (instance ?Depositing DepositingACheck) (instance ?Check Check) (agent ?Depositing ?Agent)) (signedBy ?Check ?Agent))	FinancialOntology.kif 148-153	If a process is an instance of depositingA check and a certificate is an instance of check and a cognitive agent is an agent of the process, then the cognitive agent is a signed by of the certificate
(=> (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	If a process is an instance of depositingA check and a check is a patient of the process and the check is an instance of check and a financial account is a check account of the check and value of the check is a currency measure, then there exists a financial transaction such that the financial transaction is an instance of deposit and the financial transaction ends up at the currency of the financial account and the currency measure is a transaction amount of the financial transaction
(=> (instance ?Depositing DepositingACheck) (exists (?Check) (and (instance ?Check Check) (patient ?Depositing ?Check))))	FinancialOntology.kif 333-338	If a process is an instance of depositingA check, then there exists an entity such that the entity is an instance of check and the entity is a patient of the process

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

If an entity is an instance of check and a process is an instance of processingA check and the entity is a patient of the process,
then there exists another process such that the other process is an instance of depositingA check and the entity is a patient of the other process and the other process exists during immediately before the time of existence of the process

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

KB Term:			Term intersection

English Word: