DepositingACheck - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DepositingACheck EnglishLanguage "An activity of depositing a check into a FinancialOrganization.")	FinancialOntology.kif 332-333
(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 331-331	Depositing a check is a subclass of using an account

appearance as argument number 2

(termFormat ChineseLanguage DepositingACheck "存款支票")	domainEnglishFormat.kif 19167-19167
(termFormat ChineseTraditionalLanguage DepositingACheck "存款支票")	domainEnglishFormat.kif 19166-19166
(termFormat EnglishLanguage DepositingACheck "depositing a check")	domainEnglishFormat.kif 19165-19165

antecedent

(=> (and (instance ?Depositing DepositingACheck) (instance ?Check Check) (agent ?Depositing ?Agent)) (signedBy ?Check ?Agent))	FinancialOntology.kif 150-155	If a process is an instance of depositing a 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 342-353	If a process is an instance of depositing a 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 335-340	If a process is an instance of depositing a 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 139-148

If an entity is an instance of check and a process is an instance of processing a check and the entity is a patient of the process,
then there exists another process such that the other process is an instance of depositing a 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: