| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16078-16078 | 子類 EngineeringComponent and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1209-1209 | 子類 CartridgeCase and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1224-1224 | 子類 槍管 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1361-1361 | 子類 槍扳機 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1438-1438 | 子類 槍托 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1454-1454 | 子類 處理 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1512-1512 | 子類 翼裝置 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1673-1673 | 子類 驅動組件 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1775-1775 | 子類 多種 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1784-1784 | 子類 開關設備 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2939-2939 | 子類 通訊設備 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3617-3617 | 子類 鋼絲彈簧 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3622-3622 | 子類 電線 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15271-15271 | 子類 合頁 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16138-16138 | 子類 EngineeringConnection and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 737-737 | 子類 流體動力裝置 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 757-757 | 子類 齒輪 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 762-762 | 子類 齒輪系 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 767-767 | 子類 變速器 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 771-771 | 子類 軸 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 779-779 | 子類 轉子 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 789-789 | 子類 定子 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 906-906 | 子類 液壓缸 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 912-912 | 子類 閥 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1114-1114 | 子類 調節器 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 962-962 | 子類 系统管理控制器 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2554-2554 | 子類 端口 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2581-2581 | 子類 插頭 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2706-2706 | 子類 連接線 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 596-596 | 子類 電腦硬件 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 113-113 | 子類 人造衛星 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 288-288 | 子類 電台 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 381-381 | 子類 電視接收器 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1376-1376 | 子類 MechanicalJoint and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2198-2198 | 子類 Radiator and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2238-2238 | 子類 Flywheel and EngineeringComponent |
|
|