| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19958-19958 | ClosingEyes e' uma sub-classe de EyeMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19959-19959 | ClosingEyes e' uma sub-classe de Closing |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1215-1215 | ClosingEyes e' uma sub-classe de FacialExpression |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19963-19963 | Winking e' uma sub-classe de ClosingEyes |
|
|