ProcessingACheck - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ProcessingACheck

ProcessingACheck(processing a check)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 367-368
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9566-9566
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8664-8664
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 366-366	Processing a check is a subclass of authorization of transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 365-365	Processing a check is a subclass of controlling an account

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47518-47518
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47517-47517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47516-47516

antecedent

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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 157-168	If a process is an instance of drawing a check and an entity is a patient of the process and another process is an instance of processing a check and the entity is a patient of the other process and equal the time of existence of the process and the processTime and equal the time of existence of the other process and the other processTime and the processTime meets a third time interval and the third time interval meets the other processTime and duration of the third time interval is a real number month duration(s), then the real number is less than 6
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 106-120	If value of a check is a currency measure and a financial account is a check account of the check and a process is an instance of processing a check and the check is a patient of the process and equal the time of existence of the process and the processTime, then there exist a financial transaction and the financial transactionTime such that the financial transaction is an instance of withdrawing from an account and the check is an instrument for the financial transaction and equal the time of existence of the financial transaction and the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 122-137	If value of an object is a currency measure and a process is an instance of processing a check and the object is a patient of the process and the process ends up at the currency of a financial account and the financial account is an instance of financial account and equal the time of existence of the process and the processTime, then there exist a financial transaction and the financial transactionTime such that the financial transaction is an instance of deposit and the object is an instrument for the financial transaction and equal the time of existence of the financial transaction and the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the currency of the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 377-382	If a process is an instance of processing a check, then there exists another process such that the other process is an instance of authorization of transaction and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 370-375	If a process is an instance of processing 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

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