| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19958-19958 | 子類 閉上眼睛 and 眼球運動 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19959-19959 | 子類 閉上眼睛 and 關閉 |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1215-1215 | 子類 閉上眼睛 and 表情 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19963-19963 | 子類 眨眼 and 閉上眼睛 |
|
|