| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11502-11502 | Touching is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5700-5700 | Massaging is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11599-11599 | Kissing is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11624-11624 | Licking is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11635-11635 | Embracing is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17100-17100 | Catching is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11525-11525 | Grabbing is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11555-11555 | Impacting is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1534-1534 | Touch surface action is a subclass of touching |
|
|