|
|
   Camera
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Camera EnglishLanguage "A Device which is capable of Photographing.") | Mid-level-ontology.kif 12775-12775 | |
| (externalImage Camera "http://upload.wikimedia.org/wikipedia/commons/1/11/ Canon_Digital_Ixus_430.jpg") | pictureList.kif 58-58 | |
| (externalImage Camera "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ camera/ camera.png") | pictureList.kif 315-315 | |
| (subclass Camera Device) | Mid-level-ontology.kif 12774-12774 |
| appearance as argument number 2 |
|
|
| (subclass VideoCamera Camera) | ComputerInput.kif 556-556 | |
| (termFormat ChineseLanguage Camera "相机") | domainEnglishFormat.kif 12814-12814 | |
| (termFormat ChineseTraditionalLanguage Camera "相機") | domainEnglishFormat.kif 12813-12813 | |
| (termFormat EnglishLanguage Camera "camera") | domainEnglishFormat.kif 12812-12812 |
| 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 26343-26369 | |
| (=> (instance ?CAMERA Camera) (capability Photographing instrument ?CAMERA)) |
Mid-level-ontology.kif 12777-12779 |
| 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 26343-26369 | |
| (=> (instance ?SHOOT Photographing) (exists (?PHOTO ?CAMERA) (and (instance ?PHOTO Photograph) (result ?SHOOT ?PHOTO) (instrument ?SHOOT ?CAMERA) (instance ?CAMERA Camera)))) |
Mid-level-ontology.kif 12765-12772 | |
| (=> (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 14025-14036 | |
| (=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay))) |
Mid-level-ontology.kif 26337-26341 |
|
|
|
