No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13068-13068 | HandGesture e' uma sub-classe de Gesture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13078-13078 | Waving e' uma sub-classe de HandGesture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13088-13088 | Clapping e' uma sub-classe de HandGesture |