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 5874-5874
(subclass BankCard FinancialInstrument) FinancialOntology.kif 179-179 BankCard est une sous-classe de FinancialInstrument

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


(subclass CreditCard BankCard) FinancialOntology.kif 213-213 CreditCard est une sous-classe de BankCard
(subclass DebitCard BankCard) FinancialOntology.kif 198-198 DebitCard est une sous-classe de BankCard
(subclass ExpiredCard BankCard) FinancialOntology.kif 3525-3525 ExpiredCard est une sous-classe de BankCard
(subclass ValidCard BankCard) FinancialOntology.kif 3513-3513 ValidCard est une sous-classe de BankCard
(termFormat ChineseLanguage BankCard "银行卡") domainEnglishFormat.kif 9816-9816
(termFormat ChineseTraditionalLanguage BankCard "銀行卡") domainEnglishFormat.kif 9815-9815
(termFormat EnglishLanguage BankCard "bank card") domainEnglishFormat.kif 9814-9814

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


(domain cardAccount 1 BankCard) FinancialOntology.kif 236-236 Le nombre 1 argument de cardAccount est une instance de BankCard
(domain cardCode 2 BankCard) FinancialOntology.kif 3500-3500 Le nombre 2 argument de cardCode est une instance de BankCard
(domain pin 2 BankCard) FinancialOntology.kif 3539-3539 Le nombre 2 argument de pin est une instance de BankCard

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


(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))
FinancialOntology.kif 3516-3523
(=>
    (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)
    (exists (?C)
        (and
            (instrument ?P ?C)
            (instance ?C BankCard))))
Dining.kif 443-448
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))
FinancialOntology.kif 3669-3676


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