Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Blinking
Blinking(blinking)

appearance as argument number 1
-------------------------


(subclass Blinking ClosingBothEyes) Mid-level-ontology.kif 22022-22022 Blinking is a subclass of ClosingBothEyes
(documentation Blinking EnglishLanguage "&Blinking is a bodily function; it is a semi-autonomic rapid closing of the Eyelid of both eyes. A single blink is determined by the forceful closing of the eyelid. There are three types of Blinking: SpontaneousBlinking, ReflexBlinking and VoluntaryBlinking.[Wikipedia]") Mid-level-ontology.kif 22023-22026 Blinking is a subclass of ClosingBothEyes

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Blinking "blinking") Mid-level-ontology.kif 22027-22027
(subclass SpontaneousBlinking Blinking) Mid-level-ontology.kif 22049-22049 Spontaneous blinking is a subclass of blinking
(subclass ReflexBlinking Blinking) Mid-level-ontology.kif 22056-22056 Reflex blinking is a subclass of blinking
(subclass VoluntaryBlinking Blinking) Mid-level-ontology.kif 22065-22065 Voluntary blinking is a subclass of blinking

antecedent
-------------------------


(=>
    (and
        (instance ?B Blinking)
        (patient ?B ?E)
        (instance ?E BothEyes))
    (exists (?T)
        (and
            (holdsDuring ?T
                (attribute ?E Closed))
            (during
                (WhenFn ?B) ?T)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?B))
                (attribute ?E Open))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?B))
                (attribute ?E Open)))))		 Mid-level-ontology.kif 22029-22047 If X is an instance of blinking, Y is a patient of X, and Y is an instance of both eyes, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, open is an attribute of Y holds during immediately before the time of existence of X, and open is an attribute of Y holds during immediately after the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners