| 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 | FlashingLight は 放射光 の subclass では %n |
| 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 |
|
|
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