| ProcessingACheck
|
| 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 9585-9585 | |
| (externalImage ProcessingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") | pictureList.kif 8670-8670 | |
| (subclass ProcessingACheck AuthorizationOfTransaction) | FinancialOntology.kif 364-364 | |
| (subclass ProcessingACheck ControllingAnAccount) | FinancialOntology.kif 363-363 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ProcessingACheck "处理检查") | domainEnglishFormat.kif 47435-47435 | |
| (termFormat ChineseTraditionalLanguage ProcessingACheck "處理檢查") | domainEnglishFormat.kif 47434-47434 | |
| (termFormat EnglishLanguage ProcessingACheck "processingA check") | domainEnglishFormat.kif 47433-47433 |
| 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 | |
| (=> (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 ?Duration)) (lessThan ?Duration (MeasureFn 6 MonthDuration))) |
FinancialOntology.kif 155-166 | |
| (=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account)))) |
FinancialOntology.kif 104-118 | |
| (=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit) (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 | |
| (=> (instance ?Processing ProcessingACheck) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Processing)))) |
FinancialOntology.kif 375-380 | |
| (=> (instance ?Processing ProcessingACheck) (exists (?Check) (and (instance ?Check Check) (patient ?Processing ?Check)))) |
FinancialOntology.kif 368-373 |
|
|
|