No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19991-19991 | Winking e' uma sub-classe de ClosingEyes |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19992-19992 | Winking e' uma sub-classe de Gesture |