| 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 91-92 | |
| (subclass Check FinancialInstrument) | FinancialOntology.kif 90-90 |
| appearance as argument number 2 |
|
|
| (subclass PayCheck Check) | FinancialOntology.kif 168-168 | |
| (termFormat ChineseLanguage Check "校验") | domainEnglishFormat.kif 14167-14167 | |
| (termFormat ChineseTraditionalLanguage Check "校驗") | domainEnglishFormat.kif 14166-14166 | |
| (termFormat EnglishLanguage Check "check") | domainEnglishFormat.kif 14165-14165 |
| appearance as argument number 3 |
|
|
| (domain checkAccount 1 Check) | FinancialOntology.kif 242-242 | |
| (domain checkNumber 1 Check) | FinancialOntology.kif 3352-3352 |
| 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 ?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 ?Check Check) (exists (?Account) (checkAccount ?Check ?Account))) |
FinancialOntology.kif 99-102 | |
| (=> (instance ?Check Check) (exists (?Value) (monetaryValue ?Check ?Value))) |
FinancialOntology.kif 94-97 |
| 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 1073-1086 | |
| (=> (instance ?Depositing DepositingACheck) (exists (?Check) (and (instance ?Check Check) (patient ?Depositing ?Check)))) |
FinancialOntology.kif 333-338 | |
| (=> (instance ?Processing ProcessingACheck) (exists (?Check) (and (instance ?Check Check) (patient ?Processing ?Check)))) |
FinancialOntology.kif 368-373 |
|
|
|