(subclass BankCard FinancialInstrument) | FinancialOntology.kif 179-179 | BankCard est une sous-classe de FinancialInstrument |
(subclass DebitCard BankCard) | FinancialOntology.kif 198-198 | DebitCard est une sous-classe de BankCard |
(subclass CreditCard BankCard) | FinancialOntology.kif 213-213 | CreditCard est une sous-classe de BankCard |
(subclass ValidCard BankCard) | FinancialOntology.kif 3513-3513 | ValidCard est une sous-classe de BankCard |
(subclass ExpiredCard BankCard) | FinancialOntology.kif 3525-3525 | ExpiredCard est une sous-classe de BankCard |