| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12445-12445 | Detacher est une sous-classe de processus requ�rant deux patients |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5597-5597 | Untying est une sous-classe de detacher |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12488-12488 | Ungrasping est une sous-classe de detacher |
|
|