Check - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Check

Check(check)

bad_check, bad_cheque, bank_check, blank_check, blank_cheque, cashier's_check, cashier's_cheque, certified_check, certified_cheque, check, cheque, counter_check, disability_check, disability_payment, giro, giro_cheque, kite, medicare_check, medicare_payment, personal_check, personal_cheque, treasurer's_check, treasurer's_cheque

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	Check is a subclass of financial instrument

appearance as argument number 2

(subclass PayCheck Check)	FinancialOntology.kif 168-168	Pay check is a subclass of check
(termFormat ChineseLanguage Check "校验")	domainEnglishFormat.kif 14243-14243	Pay check is a subclass of check
(termFormat ChineseTraditionalLanguage Check "校驗")	domainEnglishFormat.kif 14242-14242	Pay check is a subclass of check
(termFormat EnglishLanguage Check "check")	domainEnglishFormat.kif 14241-14241	Pay check is a subclass of check

appearance as argument number 3

(domain checkAccount 1 Check)	FinancialOntology.kif 242-242	The number 1 argument of check account is an instance of check
(domain checkNumber 1 Check)	FinancialOntology.kif 3456-3456	The number 1 argument of check number is an instance of check

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	If an entity is an instance of check and a process is an instance of processingA check and the entity is a patient of the process, then there exists another process such that the other process is an instance of depositingA check and the entity is a patient of the other process and the other process exists during immediately before the time of existence of the process
(=> (and (instance ?Depositing DepositingACheck) (instance ?Check Check) (agent ?Depositing ?Agent)) (signedBy ?Check ?Agent))	FinancialOntology.kif 148-153	If a process is an instance of depositingA check and a certificate is an instance of check and a cognitive agent is an agent of the process, then the cognitive agent is a signed by of the certificate
(=> (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	If a process is an instance of depositingA check and a check is a patient of the process and the check is an instance of check and a financial account is a check account of the check and value of the check is a currency measure, then there exists a financial transaction such that the financial transaction is an instance of deposit and the financial transaction ends up at the currency of the financial account and the currency measure is a transaction amount of the financial transaction
(=> (instance ?Check Check) (exists (?Account) (checkAccount ?Check ?Account)))	FinancialOntology.kif 99-102	If a check is an instance of check, then there exists a financial account such that the financial account is a check account of the check
(=> (instance ?Check Check) (exists (?Value) (monetaryValue ?Check ?Value)))	FinancialOntology.kif 94-97	If a physical is an instance of check, then there exists a currency measure such that value of the physical is the currency measure

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 1129-1142	If a financial account is an instance of checking account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of check and the object is an instrument for the process or there exists another object such that the other object is an instance of debit card and the other object is an instrument for the process
(=> (instance ?Depositing DepositingACheck) (exists (?Check) (and (instance ?Check Check) (patient ?Depositing ?Check))))	FinancialOntology.kif 333-338	If a process is an instance of depositingA check, then there exists an entity such that the entity is an instance of check and the entity is a patient of the process
(=> (instance ?Processing ProcessingACheck) (exists (?Check) (and (instance ?Check Check) (patient ?Processing ?Check))))	FinancialOntology.kif 368-373	If a process is an instance of processingA check, then there exists an entity such that the entity is an instance of check and the entity is a patient of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners