| VideoDisplay(video display) | | VDU, visual_display_unit |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
|
|
|