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 3449-3449 | Visa card is a subclass of credit card |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3450-3450 | Master card is a subclass of credit card |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3451-3451 | Discover card is a subclass of credit card |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3452-3452 | American express card is a subclass of credit card |