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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BankCard

Sigma KEE - BankCard
BankCard(bank card)
bank_card, cash_card, cashcard, smart_card

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

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


(subclass CreditCard BankCard) FinancialOntology.kif 213-213 Credit card is a subclass of bank card
(subclass DebitCard BankCard) FinancialOntology.kif 198-198 Debit card is a subclass of bank card
(subclass ExpiredCard BankCard) FinancialOntology.kif 3486-3486 Expired card is a subclass of bank card
(subclass ValidCard BankCard) FinancialOntology.kif 3474-3474 Valid card is a subclass of bank card
(termFormat ChineseLanguage BankCard "银行卡") domainEnglishFormat.kif 9825-9825
(termFormat ChineseTraditionalLanguage BankCard "銀行卡") domainEnglishFormat.kif 9824-9824
(termFormat EnglishLanguage BankCard "bank card") domainEnglishFormat.kif 9823-9823

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


(domain cardAccount 1 BankCard) FinancialOntology.kif 236-236 The number 1 argument of card account is an instance of bank card
(domain cardCode 2 BankCard) FinancialOntology.kif 3461-3461 The number 2 argument of card code is an instance of bank card
(domain pin 2 BankCard) FinancialOntology.kif 3500-3500 The number 2 argument of pin is an instance of bank card

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


(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))
FinancialOntology.kif 3477-3484
(=>
    (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 3631-3638


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 is open source software produced by Articulate Software and its partners