No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13116-13116 | Clapping est une sous-classe de HandGesture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13117-13117 | Clapping est une sous-classe de son irradiant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13118-13118 | Clapping est une sous-classe de impacte |