Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 13960-13960 | 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 13961-13963 | 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 13965-13970 | 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 607-614 | 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 |
| (=> (and (instance ?R RadiatingLight) (eventLocated ?R ?O) (attribute ?O Vacuum)) (measure ?R SpeedOfLight)) |
Transportation.kif 5568-5573 | If X is an instance of radiating light, X is located at Y, and vacuum is an attribute of Y, then the measure of X is speed of light in vacuum |
| consequent |
|
|
| (=> (instance ?COMBUSTION Combustion) (exists (?HEAT ?LIGHT) (and (instance ?HEAT Heating) (instance ?LIGHT RadiatingLight) (subProcess ?HEAT ?COMBUSTION) (subProcess ?LIGHT ?COMBUSTION)))) |
Merge.kif 12866-12873 | 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 13972-13978 | 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 626-644 | 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 3645-3647 | 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 16038-16044 | 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 16060-16075 | 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 16727-16739 | 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 28460-28475 | 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 28786-28800 | 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 28824-28832 | 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 29567-29593 | 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 4979-4981 | 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 1101-1111 | 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 1139-1149 | 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 1204-1214 | 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 1222-1248 | 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 1334-1354 | 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 1573-1581 | 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 |
|