No TPTP formula. May not be expressible in strict first order. |
naics.kif 5640-5640 |
载流接线装置制造 是 接线装置制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5647-5647 |
非载流布线装置制造 是 接线装置制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63249-63249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63248-63248 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63247-63247 |
|