(subclass BankCard FinancialInstrument) | FinancialOntology.kif 179-179 | |
(subclass DebitCard BankCard) | FinancialOntology.kif 198-198 | |
(subclass CreditCard BankCard) | FinancialOntology.kif 213-213 | |
(subclass ValidCard BankCard) | FinancialOntology.kif 3513-3513 | |
(subclass ExpiredCard BankCard) | FinancialOntology.kif 3525-3525 |