No TPTP formula. May not be expressible in strict first order. | Merge.kif 12369-12369 | Attaching is a subclass of dual object process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5598-5598 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5607-5607 | Sewing is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5626-5626 | Soldering is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23964-23964 | Conceiving is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11526-11526 | 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 |