Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Check

 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
-------------------------


(subclass Check FinancialInstrument) FinancialOntology.kif 92-92 Check is a subclass of financial instrument
(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 Check is a subclass of financial instrument

appearance as argument number 2
-------------------------


(subclass PayCheck Check) FinancialOntology.kif 170-170 Pay check is a subclass of check
(termFormat EnglishLanguage Check "check") domainEnglishFormat.kif 14232-14232 Pay check is a subclass of check
(termFormat ChineseTraditionalLanguage Check "校驗") domainEnglishFormat.kif 14233-14233 Pay check is a subclass of check
(termFormat ChineseLanguage Check "校验") domainEnglishFormat.kif 14234-14234 Pay check is a subclass of check

appearance as argument number 3
-------------------------


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

antecedent
-------------------------


(=>
    (instance ?Check Check)
    (exists (?Value)
        (monetaryValue ?Check ?Value)))		 FinancialOntology.kif 96-99 If X is an instance of check, then there exists Y such that value of X is Y
(=>
    (instance ?Check Check)
    (exists (?Account)
        (checkAccount ?Check ?Account)))		 FinancialOntology.kif 101-104 If X is an instance of check, then there exists Y such that Y is a check account of X
(=>
    (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 If X is an instance of check, Y is an instance of processing a check, and X is a patient of Y, then there exists Z such that Z is an instance of depositing a check, X is a patient of Z, and Z exists during immediately before the time of existence of Y
(=>
    (and
        (instance ?Depositing DepositingACheck)
        (instance ?Check Check)
        (agent ?Depositing ?Agent))
    (signedBy ?Check ?Agent))		 FinancialOntology.kif 150-155 If X is an instance of depositing a check, Y is an instance of check, and Z is an agent of X, then Z is a signed by of Y
(=>
    (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 If X is an instance of depositing a check, Y is a patient of X, Y is an instance of check, Z is a check account of Y, and value of Y is W, then there exists V such that V is an instance of deposit, V ends up at the currency of Z, and W is a transaction amount of V

consequent
-------------------------


(=>
    (instance ?Depositing DepositingACheck)
    (exists (?Check)
        (and
            (instance ?Check Check)
            (patient ?Depositing ?Check))))		 FinancialOntology.kif 335-340 If X is an instance of depositing a check, then there exists Y such that Y is an instance of check and Y is a patient of X
(=>
    (instance ?Processing ProcessingACheck)
    (exists (?Check)
        (and
            (instance ?Check Check)
            (patient ?Processing ?Check))))		 FinancialOntology.kif 370-375 If X is an instance of processing a check, then there exists Y such that Y is an instance of check and Y is a patient of X
(=>
    (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 1168-1181 If X is an instance of checking account, Y is an instance of financial transaction, and Y originates at the currency of X, then there exists Z such that Z is an instance of check and Z is an instrument for Y or there exists W such that W is an instance of debit card and W is an instrument for Y


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners