(=>
(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 28068-28094 |
|
(=>
(instance ?SHOOT Photographing)
(exists (?PHOTO ?CAMERA)
(and
(instance ?PHOTO Photograph)
(result ?SHOOT ?PHOTO)
(instrument ?SHOOT ?CAMERA)
(instance ?CAMERA Camera)))) |
Mid-level-ontology.kif 14200-14207 |
|
(=>
(instance ?SHOT MotionPictureShot)
(exists (?C)
(and
(instance ?C Camera)
(instrument ?SHOT ?C)
(not
(exists (?C2)
(and
(instance ?C2 Camera)
(not
(equal ?C ?C2))
(instrument ?SHOT ?C2))))))) |
Mid-level-ontology.kif 15487-15498 |
|
(=>
(instance ?X SurveillanceSystem)
(and
(memberType ?X Camera)
(memberType ?X VideoDisplay))) |
Mid-level-ontology.kif 28062-28066 |
|