No TPTP formula. May not be expressible in strict first order. |
naics.kif 7151-7151 |
Floor covering stores is a subattribute of home furnishings stores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7158-7158 |
Other home furnishings stores is a subattribute of home furnishings stores |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28461-28461 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28460-28460 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28459-28459 |
|