(subclass BankCard FinancialInstrument) | FinancialOntology.kif 179-179 | BankCard は FinancialInstrument の subclass では %n |
(subclass DebitCard BankCard) | FinancialOntology.kif 198-198 | DebitCard は BankCard の subclass では %n |
(subclass CreditCard BankCard) | FinancialOntology.kif 213-213 | CreditCard は BankCard の subclass では %n |
(subclass ValidCard BankCard) | FinancialOntology.kif 3513-3513 | ValidCard は BankCard の subclass では %n |
(subclass ExpiredCard BankCard) | FinancialOntology.kif 3525-3525 | ExpiredCard は BankCard の subclass では %n |