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 365-366
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 364-364	Processing a check is a subclass of authorization of transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 363-363	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 47547-47547
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47546-47546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47545-47545

antecedent

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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 155-166	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 the time of existence of the process is equal to the processTime and the time of existence of the other process is equal to 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 104-118	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 the time of existence of the process is equal to 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 the time of existence of the financial transaction is equal to 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 120-135	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 the time of existence of the process is equal to 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 the time of existence of the financial transaction is equal to 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 375-380	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 368-373	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