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