No TPTP formula. May not be expressible in strict first order. |
naics.kif 5030-5030 |
输送机和输送设备制造 是 物料搬运设备制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5023-5023 |
电梯和移动楼梯制造 是 物料搬运设备制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5045-5045 |
工业卡车牵引车拖车和堆垛机械制造 是 物料搬运设备制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5037-5037 |
桥式起重机和单轨系统制造 是 物料搬运设备制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36467-36467 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36466-36466 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36465-36465 |
|