|
|
   DepositingACheck
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DepositingACheck EnglishLanguage "An activity of depositing a check into a FinancialOrganization.") | FinancialOntology.kif 330-331 | |
| (externalImage DepositingACheck "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png") | pictureList.kif 9142-9142 | |
| (externalImage DepositingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") | pictureList.kif 8449-8449 | |
| (subclass DepositingACheck UsingAnAccount) | FinancialOntology.kif 329-329 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DepositingACheck "存款支票") | domainEnglishFormat.kif 19152-19152 | |
| (termFormat ChineseTraditionalLanguage DepositingACheck "存款支票") | domainEnglishFormat.kif 19151-19151 | |
| (termFormat EnglishLanguage DepositingACheck "depositingA check") | domainEnglishFormat.kif 19150-19150 |
| antecedent |
|
|
| (=> (and (instance ?Depositing DepositingACheck) (instance ?Check Check) (agent ?Depositing ?Agent)) (signedBy ?Check ?Agent)) |
FinancialOntology.kif 148-153 | |
| (=> (and (instance ?Depositing DepositingACheck) (patient ?Depositing ?Check) (instance ?Check Check) (checkAccount ?Check ?Account) (monetaryValue ?Check ?Amount)) (exists (?Deposit) (and (instance ?Deposit Deposit) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit ?Amount)))) |
FinancialOntology.kif 340-351 | |
| (=> (instance ?Depositing DepositingACheck) (exists (?Check) (and (instance ?Check Check) (patient ?Depositing ?Check)))) |
FinancialOntology.kif 333-338 |
| consequent |
|
|
| (=> (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 |
|
|
|
