| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12347-12347 | Attaching is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5599-5599 | Tying is a subclass of attaching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5608-5608 | Sewing is a subclass of attaching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5627-5627 | Soldering is a subclass of attaching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23965-23965 | Conceiving is a subclass of attaching |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11504-11504 | Grabbing is a subclass of attaching |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 61-61 | Applying a tourniquet is a subclass of attaching |
|
|