Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Camera
Camera(camera)
Polaroid_Land_camera, Polaroid_camera, box_Kodak, box_camera, camcorder, camera, candid_camera, cine-camera, digital_camera, flash_camera, motion-picture_camera, movie_camera, photographic_camera, point-and-shoot_camera, portrait_camera, reflex_camera, television_camera, tv_camera, webcam

appearance as argument number 1
-------------------------


(subclass Camera Device) Mid-level-ontology.kif 14877-14877 Camera is a subclass of device
(documentation Camera EnglishLanguage "A Device which is capable of Photographing.") Mid-level-ontology.kif 14878-14878 Camera is a subclass of device
(defaultMinimumHeight Camera
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 813-813 The minimum expected height of camera is 2 inch(s)
(defaultMaximumHeight Camera
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 814-814 The maximum expected height of camera is 6 inch(s)
(defaultMinimumWidth Camera
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 815-815 The minimum expected width of camera is 4 inch(s)
(defaultMaximumWidth Camera
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 816-816 The maximum expected width of camera is 7 inch(s)
(defaultMinimumLength Camera
    (MeasureFn 1 Inch))		 DimensioningAmenities.kif 817-817 The minimum expected length of camera is 1 inch(s)
(defaultMaximumLength Camera
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 818-818 The maximum expected length of camera is 24 inch(s)
(defaultMinimumMeasure Camera
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 819-819 The minimum expected value of camera is 1 pound mass(s)
(defaultMaximumMeasure Camera
    (MeasureFn 15 PoundMass))		 DimensioningAmenities.kif 820-820 The maximum expected value of camera is 15 pound mass(s)
(externalImage Camera "http://upload.wikimedia.org/wikipedia/commons/1/11/ Canon_Digital_Ixus_430.jpg") pictureList.kif 58-58 The maximum expected value of camera is 15 pound mass(s)
(externalImage Camera "http://articulatesoftware.com/SUMOpictures/camera/ camera.png") pictureList.kif 315-315 The maximum expected value of camera is 15 pound mass(s)

appearance as argument number 2
-------------------------


(subclass VideoCamera Camera) ComputerInput.kif 572-572 Video camera is a subclass of camera
(termFormat EnglishLanguage Camera "camera") domainEnglishFormat.kif 12817-12817 Video camera is a subclass of camera
(termFormat ChineseTraditionalLanguage Camera "相機") domainEnglishFormat.kif 12818-12818 Video camera is a subclass of camera
(termFormat ChineseLanguage Camera "相机") domainEnglishFormat.kif 12819-12819 Video camera is a subclass of camera

antecedent
-------------------------


(=>
    (instance ?CAMERA Camera)
    (capability Photographing instrument ?CAMERA))		 Mid-level-ontology.kif 14880-14882 If X is an instance of camera, then X is capable of doing photographing as a instrument
(=>
    (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 29567-29593 If All of the following hold: (1) X is an instance of surveillance system (2) X is a member of Y (3) X is a member of Z (4) Y is located at W (5) Y is an instance of camera (6) Z is located at V (7) equal W and V (8) Z is an instance of video display, then All of the following hold: (1) X has the purpose there exist U, T,, , S (2) R such that U is an instance of process (3) U is located at W (4) T expresses U (5) camera is an instrument for R (6) T is a result of R (7) S is an instance of radiating light (8) Z is an instrument for S (9) T is a patient of S (10) the beginning of U happens before the beginning of R (11) the beginning of R happens before the beginning of S

consequent
-------------------------


(=>
    (instance ?SHOOT Photographing)
    (exists (?PHOTO ?CAMERA)
        (and
            (instance ?PHOTO Photograph)
            (result ?SHOOT ?PHOTO)
            (instrument ?SHOOT ?CAMERA)
            (instance ?CAMERA Camera))))		 Mid-level-ontology.kif 14868-14875 If X is an instance of photographing, then there exist Y, Z such that Y is an instance of photograph, Y is a result of X, Z is an instrument for X, and Z is an instance of camera
(=>
    (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 16164-16175 If X is an instance of motion picture shot, then there exists Y such that Y is an instance of camera, Y is an instrument for X, there doesn't exist Z such that Z is an instance of camera, equal Y, Z, and Z is an instrument for X
(=>
    (instance ?X SurveillanceSystem)
    (and
        (memberType ?X Camera)
        (memberType ?X VideoDisplay)))		 Mid-level-ontology.kif 29561-29565 If X is an instance of surveillance system, then camera is a member type of X and video display is a member type of X
(=>
    (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 29567-29593 If All of the following hold: (1) X is an instance of surveillance system (2) X is a member of Y (3) X is a member of Z (4) Y is located at W (5) Y is an instance of camera (6) Z is located at V (7) equal W and V (8) Z is an instance of video display, then All of the following hold: (1) X has the purpose there exist U, T,, , S (2) R such that U is an instance of process (3) U is located at W (4) T expresses U (5) camera is an instrument for R (6) T is a result of R (7) S is an instance of radiating light (8) Z is an instrument for S (9) T is a patient of S (10) the beginning of U happens before the beginning of R (11) the beginning of R happens before the beginning of S


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners