(=>
(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 26961-26987 |
|