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

(documentation ProcessingACheck EnglishLanguage "An activity of paying the amount specified on the check from funds on deposit.")	FinancialOntology.kif 367-368
(externalImage ProcessingACheck "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png")	pictureList.kif 9566-9566
(externalImage ProcessingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png")	pictureList.kif 8664-8664
(subclass ProcessingACheck AuthorizationOfTransaction)	FinancialOntology.kif 366-366	Processing a check is a subclass of authorization of transaction
(subclass ProcessingACheck ControllingAnAccount)	FinancialOntology.kif 365-365	Processing a check is a subclass of controlling an account

appearance as argument number 2

(termFormat ChineseLanguage ProcessingACheck "处理检查")	domainEnglishFormat.kif 47547-47547
(termFormat ChineseTraditionalLanguage ProcessingACheck "處理檢查")	domainEnglishFormat.kif 47546-47546
(termFormat EnglishLanguage ProcessingACheck "processing a check")	domainEnglishFormat.kif 47545-47545

antecedent

(=> (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
(=> (and (instance ?Drawing DrawingACheck) (patient ?Drawing ?Check) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Drawing) ?DrawingTime) (equal (WhenFn ?Processing) ?ProcessingTime) (meetsTemporally ?DrawingTime ?Time) (meetsTemporally ?Time ?ProcessingTime) (duration ?Time (MeasureFn ?Duration MonthDuration))) (lessThan ?Duration 6))	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 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
(=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal ?WithdrawalTime) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account))))	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 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
(=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit ?DepositTime) (and (instance ?Deposit Deposit) (instrument ?Deposit ?Check) (equal (WhenFn ?Deposit) ?DepositTime) (meetsTemporally ?ProcessingTime ?DepositTime) (transactionAmount ?Deposit ?Amount) (destination ?Deposit (CurrencyFn ?Account)))))	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 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
(=> (instance ?Processing ProcessingACheck) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Processing))))	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
(=> (instance ?Processing ProcessingACheck) (exists (?Check) (and (instance ?Check Check) (patient ?Processing ?Check))))	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