No TPTP formula. May not be expressible in strict first order. |
naics.kif 4454-4454 |
其他加工制造的线材产品制造 是 弹簧和线材产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4440-4440 |
弹簧重型制造 是 弹簧和线材产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4447-4447 |
弹簧轻型制造 是 弹簧和线材产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54828-54828 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54827-54827 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54826-54826 |
|