No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3710-3710 |
家具 和 % 2 是 disjoint |
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. |
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. |
Mid-level-ontology.kif 1209-1209 |
CartridgeCase 是 工程组件 的 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. |
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. |
ComputingBrands.kif 2581-2581 |
插头 是 工程组件 的 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. |
engineering.kif 1114-1114 |
调节器 是 工程组件 的 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. |
Merge.kif 16138-16138 |
工程组件连接件 是 工程组件 的 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 737-737 |
流体动力装置 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2238-2238 |
Flywheel 是 工程组件 的 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. |
Mid-level-ontology.kif 1224-1224 |
枪管 是 工程组件 的 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 1361-1361 |
枪扳机 是 工程组件 的 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 15271-15271 |
合页 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1775-1775 |
多种 是 工程组件 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |