No TPTP formula. May not be expressible in strict first order. |
naics.kif 6316-6316 |
子屬性 碳紙和墨帶製造 and 辦公用品除紙製造業外 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6303-6303 |
子屬性 鉛筆和藝術良好的製造 and 辦公用品除紙製造業外 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6310-6310 |
子屬性 標記設備製造 and 辦公用品除紙製造業外 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6296-6296 |
子屬性 鋼筆和自動鉛筆製造 and 辦公用品除紙製造業外 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41852-41852 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41851-41851 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41850-41850 |
|