| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11526-11526 | Toucher est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5695-5695 | Massaging est une sous-classe de toucher |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11627-11627 | Kissing est une sous-classe de toucher |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11652-11652 | Licking est une sous-classe de toucher |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11663-11663 | Embracing est une sous-classe de toucher |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17128-17128 | Catching est une sous-classe de toucher |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11549-11549 | Grabbing est une sous-classe de toucher |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11579-11579 | Impacte est une sous-classe de toucher |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1534-1534 | TouchSurfaceAction est une sous-classe de toucher |
|
|