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 330-331
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 329-329	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 19167-19167
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19166-19166
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19165-19165

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 148-153	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 340-351	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 333-338	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 137-146

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