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


KB Term:  Term intersection
English Word: 

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

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


(subclass BankCard FinancialInstrument) FinancialOntology.kif 181-181 Bank card is a subclass of financial instrument
(documentation BankCard EnglishLanguage "A CreditCard or a DebitCard issued by a FinancialOrganization.") FinancialOntology.kif 182-183 Bank card is a subclass of financial instrument
(externalImage BankCard "http://upload.wikimedia.org/wikipedia/en/8/87/Bankcard_standard_logo.png") pictureList.kif 5873-5873 Bank card is a subclass of financial instrument

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


(subclass DebitCard BankCard) FinancialOntology.kif 200-200 Debit card is a subclass of bank card
(subclass CreditCard BankCard) FinancialOntology.kif 215-215 Credit card is a subclass of bank card
(subclass ValidCard BankCard) FinancialOntology.kif 3571-3571 Valid card is a subclass of bank card
(subclass ExpiredCard BankCard) FinancialOntology.kif 3583-3583 Expired card is a subclass of bank card
(termFormat EnglishLanguage BankCard "bank card") domainEnglishFormat.kif 9814-9814 Expired card is a subclass of bank card
(termFormat ChineseTraditionalLanguage BankCard "銀行卡") domainEnglishFormat.kif 9815-9815 Expired card is a subclass of bank card
(termFormat ChineseLanguage BankCard "银行卡") domainEnglishFormat.kif 9816-9816 Expired card is a subclass of bank card

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


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

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


(=>
    (instance ?Card BankCard)
    (exists (?Organization)
        (issuedBy ?Card ?Organization)))		 FinancialOntology.kif 185-188 If X is an instance of bank card, then there exists Y such that Y is an issued by of X
(=>
    (and
        (instance ?Card BankCard)
        (issuedBy ?Card ?Bank))
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (cardAccount ?Card ?Account)
            (accountAt ?Account ?Bank))))		 FinancialOntology.kif 190-198 If X is an instance of bank card and Y is an issued by of X, then there exists Z such that Z is an instance of financial account, Z is a card account of X, and Z is held by Y
(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))		 FinancialOntology.kif 3574-3581 If X is an instance of authorization of transaction, Y is an instance of financial transaction, Z is an instance of bank card, Z is an instrument for Y, and X causes Y, then Z is an instance of valid card

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


(=>
    (instance ?P BankCardPayment)
    (exists (?C)
        (and
            (instrument ?P ?C)
            (instance ?C BankCard))))		 Dining.kif 443-448 If X is an instance of bank card payment, then there exists Y such that Y is an instrument for X and Y is an instance of bank card
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))		 FinancialOntology.kif 3727-3734 If X is an instance of ATM slot, then there exist Y, Z such that Y is an instance of putting, Z is a patient of Y, Z is an instance of bank card, and Y ends up at X


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