Check | ![]() |
appearance as argument number 1 |
![]() |
(documentation Check EnglishLanguage "A FinancialInstrument drawn against deposited funds, to pay a specified amount of money to a specific person upon demand.") | FinancialOntology.kif 93-94 | |
(subclass Check FinancialInstrument) | FinancialOntology.kif 92-92 | Check est une sous-classe de FinancialInstrument |
appearance as argument number 2 |
![]() |
(subclass PayCheck Check) | FinancialOntology.kif 170-170 | PayCheck est une sous-classe de Check |
(termFormat ChineseLanguage Check "校验") | domainEnglishFormat.kif 14241-14241 | PayCheck est une sous-classe de Check |
(termFormat ChineseTraditionalLanguage Check "校驗") | domainEnglishFormat.kif 14240-14240 | PayCheck est une sous-classe de Check |
(termFormat EnglishLanguage Check "check") | domainEnglishFormat.kif 14239-14239 | PayCheck est une sous-classe de Check |
appearance as argument number 3 |
![]() |
(domain checkAccount 1 Check) | FinancialOntology.kif 244-244 | Le nombre 1 argument de checkAccount est une instance de Check |
(domain checkNumber 1 Check) | FinancialOntology.kif 3474-3474 | Le nombre 1 argument de checkNumber est une instance de Check |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?Account CheckingAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (or (exists (?Check) (and (instance ?Check Check) (instrument ?Transaction ?Check))) (exists (?DebitCard) (and (instance ?DebitCard DebitCard) (instrument ?Transaction ?DebitCard))))) |
FinancialOntology.kif 1145-1158 |
|
(=> (instance ?Depositing DepositingACheck) (exists (?Check) (and (instance ?Check Check) (patient ?Depositing ?Check)))) |
FinancialOntology.kif 335-340 | |
(=> (instance ?Processing ProcessingACheck) (exists (?Check) (and (instance ?Check Check) (patient ?Processing ?Check)))) |
FinancialOntology.kif 370-375 |
![]() |
![]() |