Clapping - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13091-13092
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2658-2658
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13088-13088	拍手是手势的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13090-13090	拍手是碰撞的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13089-13089	拍手是放射声音的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15012-15012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15011-15011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15010-15010