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