(subclass BankCard FinancialInstrument) | FinancialOntology.kif 179-179 | BankCard e' uma sub-classe de FinancialInstrument |
(subclass DebitCard BankCard) | FinancialOntology.kif 198-198 | DebitCard e' uma sub-classe de BankCard |
(subclass CreditCard BankCard) | FinancialOntology.kif 213-213 | CreditCard e' uma sub-classe de BankCard |
(subclass ValidCard BankCard) | FinancialOntology.kif 3513-3513 | ValidCard e' uma sub-classe de BankCard |
(subclass ExpiredCard BankCard) | FinancialOntology.kif 3525-3525 | ExpiredCard e' uma sub-classe de BankCard |