| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13137-13137 | 子類 手勢 and Communication |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13138-13138 | 子類 手勢 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13032-13032 | 子類 表情 and 手勢 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13086-13086 | 子類 點頭 and 手勢 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13096-13096 | 子類 手勢 and 手勢 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13128-13128 | 子類 鞠躬 and 手勢 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19992-19992 | 子類 眨眼 and 手勢 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19997-19997 | 子類 聳肩 and 手勢 |
|
|