DebitCard - Sigma Knowledge base Browser

appearance as argument number 1

(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 199-201
(subclass DebitCard BankCard)	FinancialOntology.kif 198-198	Debit card is a subclass of bank card

appearance as argument number 2

(termFormat ChineseLanguage DebitCard "金融卡")	domainEnglishFormat.kif 18814-18814
(termFormat ChineseTraditionalLanguage DebitCard "金融卡")	domainEnglishFormat.kif 18813-18813
(termFormat EnglishLanguage DebitCard "debit card")	domainEnglishFormat.kif 18812-18812

antecedent

(=> (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 3543-3554	If a bank card is an instance of debit card and an agent possesses the bank card and a process is an instance of financial transaction and the bank card is an instrument for the process, then there exist a symbolic string and another process such that the bank card is a pin of the symbolic string and the other process is an instance of entering a PIN and the symbolic string is a patient of the other process and the agent is an agent of the other process
(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account DepositAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent))))	FinancialOntology.kif 203-211	If a bank card is an instance of debit card and a cognitive agent possesses the bank card, then there exists a financial account such that the financial account is an instance of deposit account and the financial account is a card account of the bank card and the cognitive agent holds account the financial account

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 1129-1142

If a financial account is an instance of checking account and a process is an instance of financial transaction and the process originates at the currency of the financial account,
then there exists an object such that the object is an instance of check and the object is an instrument for the process or there exists another object such that the other object is an instance of debit card and the other object is an instrument for the process

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

KB Term:			Term intersection

English Word: