| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11480-11480 | Touching is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5701-5701 | Massaging is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11600-11600 | Kissing is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11625-11625 | Licking is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11636-11636 | Embracing is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17101-17101 | Catching is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11503-11503 | Grabbing is a subclass of touching |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11533-11533 | 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 |
|
|