| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16034-16034 | 附着装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4189-4189 | 螺丝 是 附着装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4222-4222 | 钉 是 附着装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4226-4226 | 胶带 是 附着装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4239-4239 | 锚 是 附着装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4262-4262 | 按键 是 附着装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4272-4272 | 钳 是 附着装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8897-8897 | 胶 是 附着装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4168-4168 | Bolt 是 附着装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4190-4190 | MechanicalNut 是 附着装置 的 subclass |
|
|