No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19959-19959 | Closing eyes is a subclass of eye motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19960-19960 | 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 19964-19964 | Winking is a subclass of closing eyes |