No TPTP formula. May not be expressible in strict first order. |
naics.kif 10610-10610 |
子屬性 所有其他支持服務 and 其他支持服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10603-10603 |
子屬性 會議和貿易展覽組織者 and 其他支持服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10596-10596 |
子屬性 包裝和標籤服務 and 其他支持服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43548-43548 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43547-43547 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43546-43546 |
|