No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19958-19958 | Closing eyes is a subclass of eye motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19959-19959 | Closing eyes is a subclass of closing |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1215-1215 | Closing eyes is a subclass of facial expression |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19963-19963 | Winking is a subclass of closing eyes |