No TPTP formula. May not be expressible in strict first order. |
naics.kif 10397-10397 |
子屬性 其他商業服務中心,包括複印店 and 商業服務中心 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10390-10390 |
子屬性 私人郵件中心 and 商業服務中心 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12475-12475 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12474-12474 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12473-12473 |
|