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


KB Term:  Term intersection
English Word: 

  DebitCard

 Sigma KEE - DebitCard
DebitCard(debit card)debit_card

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


(subclass DebitCard BankCard) FinancialOntology.kif 200-200 Debit card is a subclass of bank card
(documentation DebitCard EnglishLanguage "A card which allows customers to access their funds immediately, electronically. Unlike a credit card, a debit card does not have any float.") FinancialOntology.kif 201-203 Debit card is a subclass of bank card

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


(termFormat EnglishLanguage DebitCard "debit card") domainEnglishFormat.kif 18798-18798
(termFormat ChineseTraditionalLanguage DebitCard "金融卡") domainEnglishFormat.kif 18799-18799
(termFormat ChineseLanguage DebitCard "金融卡") domainEnglishFormat.kif 18800-18800

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


(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account DepositAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))		 FinancialOntology.kif 205-213 If X is an instance of debit card and Y possesses X, then there exists Z such that Z is an instance of deposit account, Z is a card account of X, and Y holds account Z
(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card)
        (instance ?Transaction FinancialTransaction)
        (instrument ?Transaction ?Card))
    (exists (?PIN ?Enter)
        (and
            (pin ?PIN ?Card)
            (instance ?Enter EnteringAPin)
            (patient ?Enter ?PIN)
            (agent ?Enter ?Agent))))		 FinancialOntology.kif 3601-3612 If X is an instance of debit card, Y possesses X, Z is an instance of financial transaction, and X is an instrument for Z, then there exist W, V such that X is a pin of W, V is an instance of entering a PIN, W is a patient of V, and Y is an agent of V

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


(=>
    (and
        (instance ?Account CheckingAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (or
        (exists (?Check)
            (and
                (instance ?Check Check)
                (instrument ?Transaction ?Check)))
        (exists (?DebitCard)
            (and
                (instance ?DebitCard DebitCard)
                (instrument ?Transaction ?DebitCard)))))		 FinancialOntology.kif 1168-1181 If X is an instance of checking account, Y is an instance of financial transaction, and Y originates at the currency of X, then there exists Z such that Z is an instance of check and Z is an instrument for Y or there exists W such that W is an instance of debit card and W is an instrument for Y


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