| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16084-16084 | AttachingDevice est une sous-classe de appareil |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4182-4182 | Screw est une sous-classe de AttachingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4215-4215 | Nail est une sous-classe de AttachingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4219-4219 | Tape est une sous-classe de AttachingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4232-4232 | Anchor est une sous-classe de AttachingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4255-4255 | Button est une sous-classe de AttachingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4265-4265 | Clamp est une sous-classe de AttachingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8925-8925 | Glue est une sous-classe de AttachingDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4145-4145 | Bolt est une sous-classe de AttachingDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4167-4167 | MechanicalNut est une sous-classe de AttachingDevice |
|
|