No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19958-19958 | 闭上眼睛 是 眼球运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19959-19959 | 闭上眼睛 是 关闭 的 subclass |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1215-1215 | 闭上眼睛 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19963-19963 | 眨眼 是 闭上眼睛 的 subclass |