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 | DepositingACheck e' uma sub-classe de UsingAnAccount |
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 |
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 |