|
|
   Camera
|
|
|
| appearance as argument number 1 |
|
|
| (defaultMaximumHeight Camera (MeasureFn 6 Inch)) |
DimensioningAmenities.kif 1059-1059 | |
| (defaultMaximumLength Camera (MeasureFn 24 Inch)) |
DimensioningAmenities.kif 1063-1063 | |
| (defaultMaximumMeasure Camera (MeasureFn 15 PoundMass)) |
DimensioningAmenities.kif 1065-1065 | |
| (defaultMaximumWidth Camera (MeasureFn 7 Inch)) |
DimensioningAmenities.kif 1061-1061 | |
| (defaultMinimumHeight Camera (MeasureFn 2 Inch)) |
DimensioningAmenities.kif 1058-1058 | |
| (defaultMinimumLength Camera (MeasureFn 1 Inch)) |
DimensioningAmenities.kif 1062-1062 | |
| (defaultMinimumMeasure Camera (MeasureFn 1 PoundMass)) |
DimensioningAmenities.kif 1064-1064 | |
| (defaultMinimumWidth Camera (MeasureFn 4 Inch)) |
DimensioningAmenities.kif 1060-1060 | |
| (documentation Camera EnglishLanguage "A Device which is capable of Photographing.") | Mid-level-ontology.kif 10904-10904 | |
| (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 10903-10903 |
| appearance as argument number 2 |
|
|
| (subclass VideoCamera Camera) | ComputerInput.kif 483-483 | |
| (termFormat EnglishLanguage Camera "camera") | domainEnglishFormat.kif 2559-2559 |
| 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 24728-24754 | |
| (=> (instance ?CAMERA Camera) (capability Photographing instrument ?CAMERA)) |
Mid-level-ontology.kif 10906-10908 |
| 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 24728-24754 | |
| (=> (instance ?SHOOT Photographing) (exists (?PHOTO ?CAMERA) (and (instance ?PHOTO Photograph) (result ?SHOOT ?PHOTO) (instrument ?SHOOT ?CAMERA) (instance ?CAMERA Camera)))) |
Mid-level-ontology.kif 10894-10901 | |
| (=> (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 12045-12056 | |
| (=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay))) |
Mid-level-ontology.kif 24722-24726 |
|
|
|
