TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Nodding Gesture)	Mid-level-ontology.kif 14615-14615	Nodding is a subclass of gesture
(documentation Nodding EnglishLanguage "Moving the Head up and down or side to side to indicate approval or disapproval.")	Mid-level-ontology.kif 14616-14617	Nodding is a subclass of gesture
(externalImage Nodding "http://upload.wikimedia.org/wikipedia/commons/4/ 45/ Nodding_donkey.jpg")	pictureList.kif 6728-6728	Nodding is a subclass of gesture
(externalImage Nodding "http://upload.wikimedia.org/wikipedia/commons/1/ 10/ Nodding_chip.jpg")	pictureList.kif 7442-7442	Nodding is a subclass of gesture

appearance as argument number 2

(termFormat EnglishLanguage Nodding "nodding")	domainEnglishFormat.kif 40669-40669
(termFormat ChineseTraditionalLanguage Nodding "點頭")	domainEnglishFormat.kif 40670-40670
(termFormat ChineseLanguage Nodding "点头")	domainEnglishFormat.kif 40671-40671

antecedent

(=>
    (and
        (instance ?NOD Nodding)
        (patient ?NOD ?HEAD))
    (instance ?HEAD Head))

If X is an instance of nodding and Y is a patient of X, then Y is an instance of head