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


KB Term:  Term intersection
English Word: 

  Flickering

 Sigma KEE - Flickering
Flickering(flickering)

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


(subclass Flickering RadiatingVisibleLight) ComputingBrands.kif 3420-3420 Flickering is a subclass of radiating visible light
(documentation Flickering EnglishLanguage "A Process in which the intensity of visible light changes somewhat rapidly but at a tempo discernible by the Human Eye.") ComputingBrands.kif 3421-3422 Flickering is a subclass of radiating visible light

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


(termFormat EnglishLanguage Flickering "flickering") ComputingBrands.kif 3423-3423

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


(=>
    (instance ?F Flickering)
    (exists (?T1 ?T2 ?N1 ?N2)
        (and
            (during ?T1
                (WhenFn ?F))
            (holdsDuring ?T1
                (measure ?F
                    (MeasureFn ?N1 Lumen)))
            (during ?T2
                (WhenFn ?F))
            (holdsDuring ?T2
                (measure ?F
                    (MeasureFn ?N2 Lumen)))
            (not
                (equal ?T1 ?T2))
            (not
                (equal ?N1 ?N2)))))		 ComputingBrands.kif 3425-3436 If X is an instance of flickering, then there exist Y, Z,, , W and V such that Y takes place during the time of existence of X and the measure of X is W lumen(s) holds during Y and Z takes place during the time of existence of X and the measure of X is V lumen(s) holds during Z and equal Y and Z and equal W and V


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

Show without tree

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