TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Waving HandGesture)	Mid-level-ontology.kif 14635-14635	Waving is a subclass of hand gesture
(documentation Waving EnglishLanguage "Moving a Hand to indicate a greeting, farewell, recognition, goodwill, etc.")	Mid-level-ontology.kif 14636-14637	Waving is a subclass of hand gesture
(externalImage Waving "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Family_waving_goodbye.JPG")	pictureList.kif 3034-3034	Waving is a subclass of hand gesture
(externalImage Waving "http://upload.wikimedia.org/wikipedia/commons/8/81/ NoahHerron.jpg")	pictureList.kif 3281-3281	Waving is a subclass of hand gesture

appearance as argument number 2

(termFormat EnglishLanguage Waving "waving")	domainEnglishFormat.kif 62548-62548
(termFormat ChineseTraditionalLanguage Waving "揮手")	domainEnglishFormat.kif 62549-62549
(termFormat ChineseLanguage Waving "挥手")	domainEnglishFormat.kif 62550-62550

antecedent

(=>
    (and
        (instance ?WAVE Waving)
        (patient ?WAVE ?HAND))
    (instance ?HAND Hand))

If X is an instance of waving and Y is a patient of X, then Y is an instance of hand