HandGesture - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HandGesture Gesture)	Mid-level-ontology.kif 14625-14625	Hand gesture is a subclass of gesture
(documentation HandGesture EnglishLanguage "Any Gesture which involves the Hands.")	Mid-level-ontology.kif 14626-14626	Hand gesture is a subclass of gesture
(externalImage HandGesture "http://upload.wikimedia.org/wikipedia/commons/ c/ c7/ The_Thumbs_up_position.jpg")	pictureList.kif 2687-2687	Hand gesture is a subclass of gesture

appearance as argument number 2

(subclass Waving HandGesture)	Mid-level-ontology.kif 14635-14635	Waving is a subclass of hand gesture
(subclass Clapping HandGesture)	Mid-level-ontology.kif 14645-14645	Clapping is a subclass of hand gesture
(termFormat EnglishLanguage HandGesture "hand gesture")	domainEnglishFormat.kif 27320-27320	Clapping is a subclass of hand gesture
(termFormat ChineseTraditionalLanguage HandGesture "手勢")	domainEnglishFormat.kif 27321-27321	Clapping is a subclass of hand gesture
(termFormat ChineseLanguage HandGesture "手势")	domainEnglishFormat.kif 27322-27322	Clapping is a subclass of hand gesture

antecedent

(=>
    (instance ?HG HandGesture)
    (exists (?H)
        (and
            (instance ?H Hand)
            (patient ?HG ?H))))

If X is an instance of hand gesture, then there exists Y such that Y is an instance of hand and Y is a patient of X