Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CheckingAccount
CheckingAccount

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


(documentation CheckingAccount EnglishLanguage "A bank account against which the depositor can draw checks") FinancialOntology.kif 1071-1071
(externalImage CheckingAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png") pictureList.kif 9048-9048
(externalImage CheckingAccount "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") pictureList.kif 8415-8415
(subclass CheckingAccount DepositAccount) FinancialOntology.kif 1070-1070

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


(termFormat ChineseLanguage CheckingAccount "支票账户") domainEnglishFormat.kif 14179-14179
(termFormat ChineseTraditionalLanguage CheckingAccount "支票賬戶") domainEnglishFormat.kif 14178-14178
(termFormat EnglishLanguage CheckingAccount "checking account") domainEnglishFormat.kif 14177-14177

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners