|
|
   FlashingLight
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FlashingLight EnglishLanguage "RadiatingLight at intervals. The intervals need not be regular. This could include a light with a malfunctioning electrical connection, morse code transmitted by lamp, dance hall lighting or concert light shows.") | Mid-level-ontology.kif 631-633 | |
| (subclass FlashingLight RadiatingLight) | Mid-level-ontology.kif 630-630 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlashingLight "flashing light") | Mid-level-ontology.kif 634-634 |
| antecedent |
|
|
| (=> (and (instance ?FL FlashingLight) (origin ?FL ?L)) (exists (?I1 ?T2 ?I3) (and (instance ?I1 RadiatingLight) (instance ?T2 TimeInterval) (instance ?I3 RadiatingLight) (meetsTemporally (WhenFn ?I1) ?I2) (meetsTemporally ?I2 (WhenFn ?I3)) (not (exists (?I2) (and (instance ?I2 RadiatingLight) (origin ?I2 ?L) (during (WhenFn ?I2) ?T2)))) (subProcess ?I1 ?FL) (subProcess ?I3 ?FL)))) |
Mid-level-ontology.kif 636-654 |
|
|
|