Blinking - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Blinking

Blinking(blinking)

appearance as argument number 1

(documentation Blinking EnglishLanguage "Blinking is a rapid Closing and Opening of the Eye done by the Eyelid.")	Medicine.kif 437-438
(subclass Blinking BodyMotion)	Medicine.kif 436-436	Blinking is a subclass of body motion

appearance as argument number 2

(termFormat EnglishLanguage Blinking "blinking")

Medicine.kif 439-439

antecedent

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

Medicine.kif 441-448

If a process is an instance of blinking,
then there exist another process and a third process such that the other process is an instance of closing eyes and the third process is an instance of opening eyes and the other process is a subprocess of the process and the third process is a subprocess of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners