No TPTP formula. May not be expressible in strict first order. | Merge.kif 11502-11502 | 接触 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5700-5700 | 按摩 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11599-11599 | 接吻 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11624-11624 | 舔 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11635-11635 | 拥抱 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17100-17100 | 捕 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11525-11525 | 抓 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11555-11555 | 碰撞 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1534-1534 | TouchSurfaceAction 是 接触 的 subclass |