| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16012-16012 | 子類 附著裝置 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4189-4189 | 子類 螺絲 and 附著裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4222-4222 | 子類 釘 and 附著裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4226-4226 | 子類 膠帶 and 附著裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4239-4239 | 子類 錨 and 附著裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4262-4262 | 子類 按鍵 and 附著裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4272-4272 | 子類 鉗 and 附著裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8898-8898 | 子類 膠 and 附著裝置 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4160-4160 | 子類 Bolt and 附著裝置 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4182-4182 | 子類 MechanicalNut and 附著裝置 |
|
|