No TPTP formula. May not be expressible in strict first order. |
naics.kif 7171-7171 |
子屬性 所有其他家具用品商店 and 其他家居用品商店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7164-7164 |
子屬性 窗戶處理店 and 其他家居用品商店 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43100-43100 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43099-43099 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43098-43098 |
|