| Camera
| |
| appearance as argument number 1 |
|
|
| (documentation Camera EnglishLanguage "A Device which is capable of Photographing.") | Mid-level-ontology.kif 13532-13532 | |
| (externalImage Camera "http://articulatesoftware.com/SUMOpictures/camera/ camera.png") | pictureList.kif 315-315 | |
| (externalImage Camera "http://upload.wikimedia.org/wikipedia/commons/1/11/ Canon_Digital_Ixus_430.jpg") | pictureList.kif 58-58 | |
| (subclass Camera Device) | Mid-level-ontology.kif 13531-13531 |
| appearance as argument number 2 |
|
|
| (subclass VideoCamera Camera) | ComputerInput.kif 556-556 | |
| (termFormat ChineseLanguage Camera "相机") | domainEnglishFormat.kif 12822-12822 | |
| (termFormat ChineseTraditionalLanguage Camera "相機") | domainEnglishFormat.kif 12821-12821 | |
| (termFormat EnglishLanguage Camera "camera") | domainEnglishFormat.kif 12820-12820 |
| antecedent |
|
|
| (=> (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 27269-27295 | |
| (=> (instance ?CAMERA Camera) (capability Photographing instrument ?CAMERA)) |
Mid-level-ontology.kif 13534-13536 |
| consequent |
|
|
| (=> (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 27269-27295 | |
| (=> (instance ?SHOOT Photographing) (exists (?PHOTO ?CAMERA) (and (instance ?PHOTO Photograph) (result ?SHOOT ?PHOTO) (instrument ?SHOOT ?CAMERA) (instance ?CAMERA Camera)))) |
Mid-level-ontology.kif 13522-13529 | |
| (=> (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 14809-14820 | |
| (=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay))) |
Mid-level-ontology.kif 27263-27267 |
|
|
|