| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13113-13113 | 手势 是 沟通 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13114-13114 | 手势 是 身体运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13004-13004 | 表情 是 手势 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13058-13058 | 点头 是 手势 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13068-13068 | 手势 是 手势 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13100-13100 | 鞠躬 是 手势 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19964-19964 | 眨眼 是 手势 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19969-19969 | 耸肩 是 手势 的 subclass |
|
|