| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12421-12421 | 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 5602-5602 | Untying est une sous-classe de detacher |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12464-12464 | Ungrasping est une sous-classe de detacher |
|
|