| RadiatingLight(radiating light) | | Bengal_light, Moon, Tyndall_effect, aberration, ablaze, aflicker, afterglow, agleam, aglitter, aglow, aphotic, ardent, autofluorescence, beam, beam_of_light, beaming, beamy, bioluminescence, bioluminescent, birefringent, black, blaze, blazing, blinding, blink, blue_jet, bright, bright_as_a_new_penny, brightly, brightness, brightness_level, brilliant, brilliantly, candent, candescent, candle_flame, candlelight, chemiluminescence, clinquant, corona, coruscant, coruscate, coruscation, counterglow, crepuscular, dark, darkened, darkening, darkling, darkly... |
| appearance as argument number 1 |
|
|
| (subclass RadiatingLight RadiatingElectromagnetic) | Merge.kif 13826-13826 | Radiating light is a subclass of radiating electromagnetic |
| (documentation RadiatingLight EnglishLanguage "The subclass of Radiating in which light is given off or absorbed. Some examples include blinking, flashing, and glittering.") | Merge.kif 13827-13829 | Radiating light is a subclass of radiating electromagnetic |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region)) (attribute ?REGION Illuminated)) |
Merge.kif 13831-13836 | If X is an instance of radiating light, Y is a patient of X, and Y is an instance of region, then illuminated is an attribute of Y |
| (=> (and (instance ?R RadiatingLight) (instance ?H Human) (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R)) (instance ?R RadiatingVisibleLight)) |
Mid-level-ontology.kif 620-627 | If X is an instance of radiating light, Y is an instance of human, Z is an instance of seeing, Y is an agent of Z, and X is a patient of Z, then X is an instance of radiating visible light |
| consequent |
|
|
| (=> (instance ?COMBUSTION Combustion) (exists (?HEAT ?LIGHT) (and (instance ?HEAT Heating) (instance ?LIGHT RadiatingLight) (subProcess ?HEAT ?COMBUSTION) (subProcess ?LIGHT ?COMBUSTION)))) |
Merge.kif 12752-12759 | If X is an instance of burning, then there exist Y, Z such that Y is an instance of heating, Z is an instance of radiating light, Y is a subprocess of X, and Z is a subprocess of X |
| (=> (attribute ?REGION Illuminated) (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region)))) |
Merge.kif 13838-13844 | If illuminated is an attribute of X, then there exists Y such that Y is an instance of radiating light, X is a patient of Y, and X is an instance of region |
| (=> (and (instance ?FL FlashingLight) (origin ?FL ?L)) (exists (?I1 ?T2 ?I3) (and (instance ?I1 RadiatingLight) (instance ?T2 TimeInterval) (instance ?I3 RadiatingLight) (meetsTemporally (WhenFn ?I1) ?T2) (meetsTemporally ?T2 (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 639-657 | If X is an instance of flashing light and X originates at Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of radiating light (3) W is an instance of timeframe (4) V is an instance of radiating light (5) the time of existence of Z meets W (6) W meets the time of existence of V (7) there doesn't exist U such that U is an instance of radiating light (8) U originates at Y (9) the time of existence of U takes place during W (10) Z is a subprocess of X (11) V is a subprocess of X |
| (=> (instance ?F LightFixture) (capability RadiatingLight instrument ?F)) |
Mid-level-ontology.kif 3498-3500 | If X is an instance of light fixture, then X is capable of doing radiating light as a instrument |
| (=> (instance ?X VideoRecording) (exists (?EV) (and (instance ?EV Process) (represents ?X ?EV) (capability RadiatingLight patient ?X)))) |
Mid-level-ontology.kif 15955-15961 | If X is an instance of video recording, then there exists Y such that Y is an instance of process, X expresses Y, and X is capable of doing radiating light as a patient |
| (=> (instance ?PLAYER MediaSystem) (hasPurpose ?PLAYER (or (exists (?VIDEO ?RL) (and (instance ?VIDEO VideoRecording) (instance ?RL RadiatingLight) (patient ?RL ?VIDEO) (instrument ?RL ?PLAYER))) (exists (?AUDIO ?RS) (and (instance ?AUDIO AudioRecording) (instance ?RS RadiatingSound) (patient ?RS ?AUDIO) (instrument ?RS ?PLAYER)))))) |
Mid-level-ontology.kif 15977-15992 | If X is an instance of media system, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of video recording (3) Z is an instance of radiating light (4) Y is a patient of Z (5) X is an instrument for Z or there exist W (6) V such that W is an instance of audio recording (7) V is an instance of radiating sound (8) W is a patient of V (9) X is an instrument for V |
| (=> (attribute ?O Translucent) (modalAttribute (exists (?EMIT ?S ?OBJ) (and (instance ?EMIT RadiatingLight) (resource ?EMIT ?S) (destination ?EMIT ?OBJ) (between ?S ?O ?OBJ) (holdsDuring (WhenFn ?EMIT) (attribute ?OBJ Illuminated)))) Possibility)) |
Mid-level-ontology.kif 16677-16689 | If translucent is an attribute of X, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of radiating light (3) Z is a resource for Y (4) Y ends up at W (5) X is between Z (6) W (7) illuminated is an attribute of W holds during the time of existence of Y has the modal force of possibility |
| (=> (instance ?X VideoGamePlayer) (hasPurpose ?X (exists (?GAME ?RL ?MOVE ?CONTROLLER ?PLAYER) (and (instance ?GAME VideoGame) (instrument ?GAME ?X) (agent ?GAME ?PLAYER) (instance ?MOVE Maneuver) (instrument ?MOVE ?CONTROLLER) (agent ?MOVE ?PLAYER) (subProcess ?MOVE ?GAME) (part ?CONTROLLER ?X) (instance ?RL RadiatingLight) (agent ?RL ?X) (patient ?RL ?GAME))))) |
Mid-level-ontology.kif 28556-28571 | If X is an instance of video game player, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of videogame (3) X is an instrument for Y (4) U is an agent of Y (5) W is an instance of maneuver (6) V is an instrument for W (7) U is an agent of W (8) W is a subprocess of Y (9) V is a part of X (10) Z is an instance of radiating light (11) X is an agent of Z (12) Y is a patient of Z |
| (=> (instance ?X MultimediaProjector) (hasPurpose ?X (exists (?RS ?SCREEN ?VIDEO) (and (instance ?RS RadiatingLight) (instrument ?RS ?X) (patient ?RS ?VIDEO) (or (instance ?VIDEO VideoRecording) (instance ?VIDEO Image)) (destination ?RS ?SCREEN) (instance ?SCREEN Artifact) (attribute ?SCREEN Flat) (not (connected ?X ?SCREEN)))))) |
Mid-level-ontology.kif 28896-28910 | If X is an instance of multimedia projector, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radiating light (3) X is an instrument for Y (4) W is a patient of Y (5) W is an instance of video recording or W is an instance of image (6) Y ends up at Z (7) Z is an instance of artifact (8) flat is an attribute of Z (9) X is not connected to Z |
| (=> (instance ?X VideoDisplay) (hasPurpose ?X (exists (?RL ?VIDEO) (and (instance ?RL RadiatingLight) (instance ?VIDEO VideoRecording) (patient ?RL ?VIDEO) (instrument ?RL ?X))))) |
Mid-level-ontology.kif 28934-28942 | If X is an instance of video display, then X has the purpose there exist Y, Z such that Y is an instance of radiating light, Z is an instance of video recording, Z is a patient of Y, and X is an instrument for Y |
| (=> (and (instance ?X SurveillanceSystem) (member ?X ?VIDEO) (member ?X ?DISPLAY) (located ?VIDEO ?LOC1) (instance ?VIDEO Camera) (located ?DISPLAY ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?DISPLAY VideoDisplay)) (hasPurpose ?X (exists (?PROC ?VID ?RL ?CAPTURE) (and (instance ?PROC Process) (eventLocated ?PROC ?LOC1) (represents ?VID ?PROC) (instrument ?CAPTURE Camera) (result ?CAPTURE ?VID) (instance ?RL RadiatingLight) (instrument ?RL ?DISPLAY) (patient ?RL ?VID) (before (BeginFn ?PROC) (BeginFn ?CAPTURE)) (before (BeginFn ?CAPTURE) (BeginFn ?RL)))))) |
Mid-level-ontology.kif 29636-29662 | If All of the following hold: (1) X is an instance of surveillance system (2) X is a member of Y (3) X is a member of Z (4) Y is located at W (5) Y is an instance of camera (6) Z is located at V (7) equal W and V (8) Z is an instance of video display, then All of the following hold: (1) X has the purpose there exist U, T,, , S (2) R such that U is an instance of process (3) U is located at W (4) T expresses U (5) camera is an instrument for R (6) T is a result of R (7) S is an instance of radiating light (8) Z is an instrument for S (9) T is a patient of S (10) the beginning of U happens before the beginning of R (11) the beginning of R happens before the beginning of S |
| (=> (instance ?F LightBulb) (capability RadiatingLight instrument ?F)) |
Cars.kif 5165-5167 | If X is an instance of light bulb, then X is capable of doing radiating light as a instrument |
| (=> (roomAmenity ?ROOM MotionPicture) (exists (?R ?MS ?MP) (and (instance ?R ?ROOM) (instance ?MS MediaSystem) (located ?MS ?R) (instance ?MP MotionPicture) (modalAttribute (exists (?RL) (and (instance ?RL RadiatingLight) (instrument ?RL ?MS) (patient ?RL ?MP))) Possibility)))) |
Hotel.kif 1517-1530 | If motion picture is an amenity in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of X (3) Z is an instance of media system (4) Z is located at Y (5) W is an instance of motion picture (6) the statement there exists V such that V is an instance of radiating light (7) Z is an instrument for V (8) W is a patient of V has the modal force of possibility |
| (=> (and (instance ?X CompactDisc) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 780 Nanometer))))) |
Media.kif 1156-1166 | If X is an instance of compact disc, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 780 nanometer(s) |
| (=> (and (instance ?X BluRayDisc) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 405 Nanometer))))) |
Media.kif 1194-1204 | If X is an instance of blu ray disc, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 405 nanometer(s) |
| (=> (and (instance ?X DVD) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 650 Nanometer))))) |
Media.kif 1259-1269 | If X is an instance of DVD, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 650 nanometer(s) |
| (=> (instance ?X DVDSystem) (hasPurpose ?X (exists (?DVD ?PROC) (and (instance ?DVD DVD) (instrument ?PROC ?X) (patient ?PROC ?DVD) (or (exists (?VIDEO ?DVIDEO ?RL) (and (instance ?VIDEO VideoRecording) (represents ?DVIDEO ?VIDEO) (part ?DVIDEO ?DVD) (instance ?RL RadiatingLight) (subProcess ?RL ?PROC) (instrument ?RL ?X) (patient ?RL ?VIDEO))) (exists (?AUDIO ?DAUDIO ?RS) (and (instance ?AUDIO AudioRecording) (represents ?DAUDIO ?AUDIO) (part ?DAUDIO ?DVD) (instance ?RS RadiatingSound) (subProcess ?RS ?PROC) (instrument ?RS ?X) (patient ?RS ?AUDIO)))))))) |
Media.kif 1277-1303 | If X is an instance of dvd player, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of DVD (3) X is an instrument for Z (4) Y is a patient of Z (5) there exist W, V (6) U such that W is an instance of video recording (7) V expresses W (8) V is a part of Y (9) U is an instance of radiating light (10) U is a subprocess of Z (11) X is an instrument for U (12) W is a patient of U or there exist T, S (13) R such that T is an instance of audio recording (14) S expresses T (15) S is a part of Y (16) R is an instance of radiating sound (17) R is a subprocess of Z (18) X is an instrument for R (19) T is a patient of R |
| (=> (instance ?VCR VCRSystem) (hasPurpose ?VCR (exists (?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS) (and (instance ?VHS VHSCassette) (instrument ?PROC ?VCR) (patient ?PROC ?VHS) (instance ?VIDEO VideoRecording) (represents ?AVIDEO ?VIDEO) (part ?VIDEO ?VHS) (instance ?AUDIO AudioRecording) (represents ?AAUDIO ?AUDIO) (part ?AAUDIO ?AVIDEO) (part ?AUDIO ?VHS) (instance ?RL RadiatingLight) (patient ?RL ?VIDEO) (subProcess ?RL ?PROC) (instance ?RS RadiatingSound) (patient ?RS ?AUDIO) (subProcess ?RS ?PROC))))) |
Media.kif 1389-1409 | If X is an instance of vcr system, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U,, , T,, , S (2) R such that Y is an instance of VHS cassette (3) X is an instrument for Z (4) Y is a patient of Z (5) W is an instance of video recording (6) V expresses W (7) W is a part of Y (8) T is an instance of audio recording (9) S expresses T (10) S is a part of V (11) T is a part of Y (12) U is an instance of radiating light (13) W is a patient of U (14) U is a subprocess of Z (15) R is an instance of radiating sound (16) T is a patient of R (17) R is a subprocess of Z |
| (=> (and (instance ?M Measuring) (instrument ?M ?R) (instance ?R RTPCRTest)) (exists (?E) (and (instance ?E RadiatingLight) (origin ?E ?R)))) |
Medicine.kif 1569-1577 | If X is an instance of measuring, Y is an instrument for X, and Y is an instance of Reverse transcription polymerase chain reaction, then there exists Z such that Z is an instance of radiating light and Z originates at Y |
|
|
|