No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13089-13089 | Clapping is a subclass of hand gesture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13090-13090 | Clapping is a subclass of radiating sound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13091-13091 | Clapping is a subclass of impacting |