No TPTP formula. May not be expressible in strict first order. |
naics.kif 7200-7200 |
子屬性 家電和其他電子產品商店 and 電子和電器商店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7228-7228 |
子屬性 相機和攝影用品商店 and 電子和電器商店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7221-7221 |
子屬性 電腦和軟件商店 and 電子和電器商店 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21738-21738 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21737-21737 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21736-21736 |
|