Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


s__documentation(s__BankCard,s__EnglishLanguage,'"A CreditCard or a DebitCard issued by a FinancialOrganization."')

FinancialOntology.kif 180-181
s__externalImage(s__BankCard,'"http://upload.wikimedia.org/wikipedia/en/8/87/Bankcard_standard_logo.png"')

pictureList.kif 5875-5875
s__instance(s__FinancialInstrument,s__SetOrClass)

s__instance(s__BankCard,s__SetOrClass)

s__subclass(s__BankCard,s__FinancialInstrument)

FinancialOntology.kif 179-179 Bank card is a subclass of financial instrument

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


s__instance(s__BankCard,s__SetOrClass)

s__instance(s__CreditCard,s__SetOrClass)

s__subclass(s__CreditCard,s__BankCard)

FinancialOntology.kif 213-213 Credit card is a subclass of bank card
s__subclass(s__DebitCard,s__BankCard)

s__instance(s__BankCard,s__SetOrClass)

s__instance(s__DebitCard,s__SetOrClass)

FinancialOntology.kif 198-198 Debit card is a subclass of bank card
s__instance(s__BankCard,s__SetOrClass)

s__subclass(s__ExpiredCard,s__BankCard)

s__instance(s__ExpiredCard,s__SetOrClass)

FinancialOntology.kif 3465-3465 Expired card is a subclass of bank card
s__instance(s__ValidCard,s__SetOrClass)

s__subclass(s__ValidCard,s__BankCard)

s__instance(s__BankCard,s__SetOrClass)

FinancialOntology.kif 3453-3453 Valid card is a subclass of bank card
s__termFormat(s__ChineseLanguage,s__BankCard,'"银行卡"')

domainEnglishFormat.kif 9825-9825
s__termFormat(s__ChineseTraditionalLanguage,s__BankCard,'"銀行卡"')

domainEnglishFormat.kif 9824-9824
s__termFormat(s__EnglishLanguage,s__BankCard,'"bank card"')

domainEnglishFormat.kif 9823-9823

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


s__domain(s__cardAccount__m,n__1,s__BankCard)

FinancialOntology.kif 236-236 The number 1 argument of card account is an instance of bank card
s__domain(s__cardCode__m,n__2,s__BankCard)

FinancialOntology.kif 3440-3440 The number 2 argument of card code is an instance of bank card
s__domain(s__pin__m,n__2,s__BankCard)

FinancialOntology.kif 3479-3479 The number 2 argument of pin is an instance of bank card

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


( ! [V__Authorization,V__Card,V__Transaction] :
   (((s__instance(V__Authorization,s__AuthorizationOfTransaction) &
         s__instance(V__Transaction,s__FinancialTransaction) &
         s__instance(V__Card,s__BankCard) &
         s__instrument(V__Transaction,V__Card)
       &
       s__causes(V__Authorization,V__Transaction))
   =>
   (s__instance(V__Card,s__ValidCard)))
)
)

FinancialOntology.kif 3456-3463
( ! [V__Card,V__Bank] :
   (((s__instance(V__Bank,s__FinancialOrganization) &
         s__instance(V__Bank,s__CognitiveAgent))
       =>
       (((s__instance(V__Card,s__BankCard) &
             s__issuedBy(V__Card,V__Bank))
         =>
         (( ? [V__Account] :
             ((s__instance(V__Account,s__FinancialAccount) &
                 s__cardAccount(V__Card,V__Account)
               &
               s__accountAt(V__Account,V__Bank))))))))
)
)

FinancialOntology.kif 188-196
( ! [V__Card] :
   ((s__instance(V__Card,s__BankCard) =>
       (( ? [V__Organization] :
           ((s__instance(V__Organization,s__CognitiveAgent) &
               s__issuedBy(V__Card,V__Organization))))))
   )
)

FinancialOntology.kif 183-186

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


( ! [V__P,V__C] :
   ((s__instance(V__C,s__Object) =>
       ((s__instance(V__P,s__BankCardPayment) =>
           ((s__instrument(V__P,V__C)
             &
             s__instance(V__C,s__BankCard))))))
   )
)

Dining.kif 416-420
( ! [V__Slot] :
   ((s__instance(V__Slot,s__ATMSlot) =>
       (( ? [V__Insert, V__Card] :
           ((s__instance(V__Insert,s__Putting) &
               s__patient(V__Insert,V__Card)
             &
             s__instance(V__Card,s__BankCard) &
             s__destination(V__Insert,V__Slot))))))
)
)

FinancialOntology.kif 3610-3617


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