| No TPTP formula. May not be expressible in strict first order. |
naics.kif 6144-6144 |
杂项制造业 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5216-5216 |
音视频设备制造 是 计算机和电子产品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5187-5187 |
通讯设备制造业 是 计算机和电子产品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5152-5152 |
计算机和外围设备制造业 是 计算机和电子产品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5385-5385 |
制造和再现磁性和光学媒体 是 计算机和电子产品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5293-5293 |
导航测量电子医学和控制仪器制造 是 计算机和电子产品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5222-5222 |
半导体和其他电子元件制造 是 计算机和电子产品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16260-16260 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16259-16259 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16258-16258 |
|
ComputerAndElectronicProductManufacturing