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

KB Term:  Term intersection
English Word: 

Sigma KEE - CheckingAccount
CheckingAccount(checking account)
checking_account, chequing_account, current_account

appearance as argument number 1
-------------------------


(subclass CheckingAccount DepositAccount) FinancialOntology.kif 1165-1165 Checking account is a subclass of deposit account
(documentation CheckingAccount EnglishLanguage "A bank account against which the depositor can draw checks") FinancialOntology.kif 1166-1166 Checking account is a subclass of deposit account
(externalImage CheckingAccount "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") pictureList.kif 8412-8412 Checking account is a subclass of deposit account
(externalImage CheckingAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png") pictureList.kif 9042-9042 Checking account is a subclass of deposit account

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


(termFormat EnglishLanguage CheckingAccount "checking account") domainEnglishFormat.kif 14244-14244
(termFormat ChineseTraditionalLanguage CheckingAccount "支票賬戶") domainEnglishFormat.kif 14245-14245
(termFormat ChineseLanguage CheckingAccount "支票账户") domainEnglishFormat.kif 14246-14246

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


(=>
    (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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners