No TPTP formula. May not be expressible in strict first order. | Merge.kif 11502-11502 | 子類 Touching and Transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5700-5700 | 子類 按摩 and Touching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11599-11599 | 子類 接吻 and Touching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11624-11624 | 子類 舔 and Touching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11635-11635 | 子類 擁抱 and Touching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17100-17100 | 子類 捕 and Touching |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11525-11525 | 子類 抓 and Touching |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11555-11555 | 子類 Impacting and Touching |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1534-1534 | 子類 TouchSurfaceAction and Touching |