| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16084-16084 | Attaching device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4182-4182 | Screw is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4215-4215 | Nail is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4219-4219 | Tape is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4232-4232 | Anchor is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4255-4255 | Button is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4265-4265 | Clamp is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8925-8925 | Glue is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4145-4145 | Bolt is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4167-4167 | Nut is a subclass of attaching device |
|
|