Flickering - Sigma Knowledge base Browser

appearance as argument number 1

(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 3515-3516
(subclass Flickering RadiatingVisibleLight)	ComputingBrands.kif 3514-3514	Flickering is a subclass of radiating visible light

appearance as argument number 2

(termFormat EnglishLanguage Flickering "flickering")

ComputingBrands.kif 3517-3517

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 3519-3530

If a physical is an instance of flickering,
then there exist a time interval, another time interval,, , an entity and another entity such that the time interval takes place during the time of existence of the physical and the measure of the physical is the entity lumen(s) holds during the time interval and the other time interval takes place during the time of existence of the physical and the measure of the physical is the other entity lumen(s) holds during the other time interval and the time interval is not equal to the other time interval and the entity is not equal to the other entity

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

KB Term:			Term intersection

English Word: