TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Shrugging BodyMotion)	Mid-level-ontology.kif 22184-22184	Shrugging is a subclass of body motion
(subclass Shrugging Gesture)	Mid-level-ontology.kif 22185-22185	Shrugging is a subclass of gesture
(documentation Shrugging EnglishLanguage "Moving the Shoulders in such a way that the motion is intended to express something to someone else.")	Mid-level-ontology.kif 22186-22187	Shrugging is a subclass of gesture

appearance as argument number 2

(termFormat EnglishLanguage Shrugging "shrugging")	domainEnglishFormat.kif 52881-52881
(termFormat ChineseTraditionalLanguage Shrugging "聳肩")	domainEnglishFormat.kif 52882-52882
(termFormat ChineseLanguage Shrugging "耸肩")	domainEnglishFormat.kif 52883-52883

antecedent

(=>
    (and
        (instance ?SHRUG Shrugging)
        (patient ?SHRUG ?SHOULDER))
    (instance ?SHOULDER Shoulder))

If X is an instance of shrugging and Y is a patient of X, then Y is an instance of shoulder