No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 179-179 | Bank card is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 198-198 | Debit card is a subclass of bank card |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 213-213 | Credit card is a subclass of bank card |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3513-3513 | Valid card is a subclass of bank card |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3525-3525 | Expired card is a subclass of bank card |