TreeView Knowledge Base Browser - BankCard

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

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

appearance as argument number 2

(subclass CreditCard BankCard)	FinancialOntology.kif 215-215	Credit card is a subclass of bank card
(subclass DebitCard BankCard)	FinancialOntology.kif 200-200	Debit card is a subclass of bank card
(subclass ExpiredCard BankCard)	FinancialOntology.kif 3543-3543	Expired card is a subclass of bank card
(subclass ValidCard BankCard)	FinancialOntology.kif 3531-3531	Valid card is a subclass of bank card
(termFormat ChineseLanguage BankCard "银行卡")	domainEnglishFormat.kif 9816-9816	Valid card is a subclass of bank card
(termFormat ChineseTraditionalLanguage BankCard "銀行卡")	domainEnglishFormat.kif 9815-9815	Valid card is a subclass of bank card
(termFormat EnglishLanguage BankCard "bank card")	domainEnglishFormat.kif 9814-9814	Valid 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 3518-3518	The number 2 argument of card code is an instance of bank card
(domain pin 2 BankCard)	FinancialOntology.kif 3557-3557	The number 2 argument of pin is an instance of bank card

antecedent

(=> (and (instance ?Authorization AuthorizationOfTransaction) (instance ?Transaction FinancialTransaction) (instance ?Card BankCard) (instrument ?Transaction ?Card) (causes ?Authorization ?Transaction)) (instance ?Card ValidCard))	FinancialOntology.kif 3534-3541	If a process is an instance of authorization of transaction and another process is an instance of financial transaction and an object is an instance of bank card and the object is an instrument for the other process and the process causes the other process, then the object is an instance of valid card
(=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank))))	FinancialOntology.kif 190-198	If a bank card is an instance of bank card and a financial organization is an issued by of the bank card, then there exists a financial account such that the financial account is an instance of financial account and the financial account is a card account of the bank card and the financial account is held by the financial organization
(=> (instance ?Card BankCard) (exists (?Organization) (issuedBy ?Card ?Organization)))	FinancialOntology.kif 185-188	If a certificate is an instance of bank card, then there exists a cognitive agent such that the cognitive agent is an issued by of the certificate

consequent

(=> (instance ?P BankCardPayment) (exists (?C) (and (instrument ?P ?C) (instance ?C BankCard))))	Dining.kif 443-448	If a process is an instance of bank card payment, then there exists an object such that the object is an instrument for the process and the object 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 3687-3694	If an entity is an instance of ATM slot, then there exist a process and another entity such that the process is an instance of putting and the other entity is a patient of the process and the other entity is an instance of bank card and the process ends up at the entity

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 is open source software produced by Articulate Software and its partners