No TPTP formula. May not be expressible in strict first order. |
naics.kif 3283-3283 |
纤维素有机纤维制造 是 人造和合成纤维和丝物的制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3290-3290 |
非纤维素有机纤维制造 是 人造和合成纤维和丝物的制造 的 subAttribute |
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 |
|