| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16012-16012 | Attaching device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4189-4189 | Screw is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4222-4222 | Nail is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4226-4226 | Tape is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4239-4239 | Anchor is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4262-4262 | Button is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4272-4272 | Clamp is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8898-8898 | Glue is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4160-4160 | Bolt is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4182-4182 | Nut is a subclass of attaching device |
|
|