| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16056-16056 | 工程组件 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1209-1209 | CartridgeCase 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1224-1224 | 枪管 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1361-1361 | 枪扳机 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1438-1438 | 枪托 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1454-1454 | 处理 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1512-1512 | 翼装置 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1673-1673 | 驱动组件 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1775-1775 | 多种 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1784-1784 | 开关设备 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2939-2939 | 通讯设备 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3617-3617 | 钢丝弹簧 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3622-3622 | 电线 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15272-15272 | 合页 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16116-16116 | 工程组件连接件 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 737-737 | 流体动力装置 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 757-757 | 齿轮 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 762-762 | 齿轮系 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 767-767 | 变速器 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 771-771 | 轴 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 779-779 | 转子 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 789-789 | 定子 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 906-906 | 液压缸 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 912-912 | 阀 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1114-1114 | 调节器 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 962-962 | 系统管理控制器 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2554-2554 | 端口 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2581-2581 | 插头 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2706-2706 | 连接线 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 596-596 | 电脑硬件 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 113-113 | 人造卫星 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 288-288 | 电台 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 381-381 | 电视接收器 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1376-1376 | MechanicalJoint 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2192-2192 | Radiator 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2232-2232 | Flywheel 是 工程组件 的 subclass |
|
|