Flickering - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Flickering

Flickering(flickering)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3515-3516
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3514-3514	Flickering is a subclass of radiating visible light

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3517-3517

antecedent

No TPTP formula. May not be expressible in strict first order.

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