| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 213-213 | CreditCard est une sous-classe de BankCard |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3449-3449 | VisaCard est une sous-classe de CreditCard |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3450-3450 | MasterCard est une sous-classe de CreditCard |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3451-3451 | DiscoverCard est une sous-classe de CreditCard |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3452-3452 | AmericanExpressCard est une sous-classe de CreditCard |
|
|