Blinking - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Blinking EnglishLanguage "Blinking is a rapid Closing and Opening of the Eye done by the Eyelid.")	Medicine.kif 448-449
(subclass Blinking BodyMotion)	Medicine.kif 447-447

appearance as argument number 2

(termFormat EnglishLanguage Blinking "blinking")

Medicine.kif 450-450

antecedent

(=>
    (instance ?B Blinking)
    (exists (?CE ?OE)
        (and
            (instance ?CE ClosingEyes)
            (instance ?OE OpeningEyes)
            (subProcess ?CE ?B)
            (subProcess ?OE ?B))))

Medicine.kif 452-459