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(processingA 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 365-366
(externalImage ProcessingACheck "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png")	pictureList.kif 9567-9567
(externalImage ProcessingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png")	pictureList.kif 8665-8665
(subclass ProcessingACheck AuthorizationOfTransaction)	FinancialOntology.kif 364-364	ProcessingA check is a subclass of authorization of transaction
(subclass ProcessingACheck ControllingAnAccount)	FinancialOntology.kif 363-363	ProcessingA check is a subclass of controlling an account

appearance as argument number 2

(termFormat ChineseLanguage ProcessingACheck "处理检查")	domainEnglishFormat.kif 47554-47554
(termFormat ChineseTraditionalLanguage ProcessingACheck "處理檢查")	domainEnglishFormat.kif 47553-47553
(termFormat EnglishLanguage ProcessingACheck "processingA check")	domainEnglishFormat.kif 47552-47552

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 137-146	If an entity is an instance of check and a process is an instance of processingA check and the entity is a patient of the process, then there exists another process such that the other process is an instance of depositingA 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 155-166	If a process is an instance of drawingA check and an entity is a patient of the process and another process is an instance of processingA 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 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 processingA 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 withdrawal 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 120-135	If value of an object is a currency measure and a process is an instance of processingA 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 375-380	If a process is an instance of processingA 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 368-373	If a process is an instance of processingA 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