| 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 |
| appearance as argument number 2 |
|
|
| (subclass PayCheck Check) | FinancialOntology.kif 170-170 | |
| (termFormat ChineseLanguage Check "校验") | domainEnglishFormat.kif 14241-14241 | |
| (termFormat ChineseTraditionalLanguage Check "校驗") | domainEnglishFormat.kif 14240-14240 | |
| (termFormat EnglishLanguage Check "check") | domainEnglishFormat.kif 14239-14239 |
| appearance as argument number 3 |
|
|
| (domain checkAccount 1 Check) | FinancialOntology.kif 244-244 | |
| (domain checkNumber 1 Check) | FinancialOntology.kif 3474-3474 |
| 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 139-148 | |
| (=> (and (instance ?Depositing DepositingACheck) (instance ?Check Check) (agent ?Depositing ?Agent)) (signedBy ?Check ?Agent)) |
FinancialOntology.kif 150-155 | |
| (=> (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 342-353 | |
| (=> (instance ?Check Check) (exists (?Account) (checkAccount ?Check ?Account))) |
FinancialOntology.kif 101-104 | |
| (=> (instance ?Check Check) (exists (?Value) (monetaryValue ?Check ?Value))) |
FinancialOntology.kif 96-99 |
| 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 |
|
|
|