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 3449-3449 | VisaCard e' uma sub-classe de CreditCard |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3450-3450 | MasterCard e' uma sub-classe de CreditCard |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3451-3451 | DiscoverCard e' uma sub-classe de CreditCard |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3452-3452 | AmericanExpressCard e' uma sub-classe de CreditCard |