No TPTP formula. May not be expressible in strict first order. |
naics.kif 3283-3283 |
子屬性 纖維素有機纖維製造 and 人造和合成纖維和絲物的製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3290-3290 |
子屬性 非纖維素有機纖維製造 and 人造和合成纖維和絲物的製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8520-8520 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8519-8519 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8518-8518 |
|