| Camera
| |
| appearance as argument number 1 |
|
|
| (documentation Camera EnglishLanguage "A Device which is capable of Photographing.") | Mid-level-ontology.kif 10949-10949 | |
| (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 10948-10948 |
| appearance as argument number 2 |
|
|
| (subclass VideoCamera Camera) | ComputerInput.kif 584-584 | |
| (termFormat ChineseLanguage Camera "相机") | domainEnglishFormat.kif 12821-12821 | |
| (termFormat ChineseTraditionalLanguage Camera "相機") | domainEnglishFormat.kif 12820-12820 | |
| (termFormat EnglishLanguage Camera "camera") | domainEnglishFormat.kif 12819-12819 |
| 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 25213-25239 | |
| (=> (instance ?CAMERA Camera) (capability Photographing instrument ?CAMERA)) |
Mid-level-ontology.kif 10951-10953 |
| 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 25213-25239 | |
| (=> (instance ?SHOOT Photographing) (exists (?PHOTO ?CAMERA) (and (instance ?PHOTO Photograph) (result ?SHOOT ?PHOTO) (instrument ?SHOOT ?CAMERA) (instance ?CAMERA Camera)))) |
Mid-level-ontology.kif 10939-10946 | |
| (=> (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 12332-12343 | |
| (=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay))) |
Mid-level-ontology.kif 25207-25211 |
|
|
|