| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 179-179 | BankCard e' uma sub-classe de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 198-198 | DebitCard e' uma sub-classe de BankCard |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 213-213 | CreditCard e' uma sub-classe de BankCard |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3513-3513 | ValidCard e' uma sub-classe de BankCard |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3525-3525 | ExpiredCard e' uma sub-classe de BankCard |
|
|