No TPTP formula. May not be expressible in strict first order. |
naics.kif 7048-7048 |
New car dealers is a subattribute of automobile dealers |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7054-7054 |
Used car dealers is a subattribute of automobile dealers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9216-9216 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9215-9215 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9214-9214 |
|