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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BankCard
BankCard

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


(documentation BankCard EnglishLanguage "A CreditCard or a DebitCard issued by a FinancialOrganization.") FinancialOntology.kif 180-181
(externalImage BankCard "http://upload.wikimedia.org/wikipedia/en/8/87/Bankcard_standard_logo.png") pictureList.kif 5875-5875
(subclass BankCard FinancialInstrument) FinancialOntology.kif 179-179 subclass BankCard and FinancialInstrument

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


(subclass CreditCard BankCard) FinancialOntology.kif 213-213 subclass CreditCard and BankCard
(subclass DebitCard BankCard) FinancialOntology.kif 198-198 subclass DebitCard and BankCard
(subclass ExpiredCard BankCard) FinancialOntology.kif 3423-3423 subclass ExpiredCard and BankCard
(subclass ValidCard BankCard) FinancialOntology.kif 3411-3411 subclass ValidCard and BankCard
(termFormat ChineseLanguage BankCard "银行卡") domainEnglishFormat.kif 9833-9833
(termFormat ChineseTraditionalLanguage BankCard "銀行卡") domainEnglishFormat.kif 9832-9832
(termFormat EnglishLanguage BankCard "bank card") domainEnglishFormat.kif 9831-9831

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


(domain cardAccount 1 BankCard) FinancialOntology.kif 236-236 domain cardAccount, 1 and BankCard
(domain cardCode 2 BankCard) FinancialOntology.kif 3398-3398 domain cardCode, 2 and BankCard
(domain pin 2 BankCard) FinancialOntology.kif 3437-3437 domain pin, 2 and BankCard

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


(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))
FinancialOntology.kif 3414-3421
(=>
    (and
        (instance ?Card BankCard)
        (issuedBy ?Card ?Bank))
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (cardAccount ?Card ?Account)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 188-196
(=>
    (instance ?Card BankCard)
    (exists (?Organization)
        (issuedBy ?Card ?Organization)))
FinancialOntology.kif 183-186

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


(=>
    (instance ?P BankCardPayment)
    (and
        (instrument ?P ?C)
        (instance ?C BankCard)))
Dining.kif 416-420
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))
FinancialOntology.kif 3568-3575


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