DepositingACheck - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DepositingACheck

DepositingACheck(depositing a check)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 332-333
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9141-9141
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8448-8448
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 331-331	Depositing a check is a subclass of using an account

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19161-19161
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19160-19160
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19159-19159

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.

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