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 638-640 | |
(subclass FlashingLight RadiatingLight) | Mid-level-ontology.kif 637-637 |
appearance as argument number 2 |
(termFormat EnglishLanguage FlashingLight "flashing light") | Mid-level-ontology.kif 641-641 |
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 643-661 |