No TPTP formula. May not be expressible in strict first order. |
naics.kif 7151-7151 |
子屬性 地板鋪材商店 and 家居用品商店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7158-7158 |
子屬性 其他家居用品商店 and 家居用品商店 |
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 |
|