Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 14804-14804 Camera is a subclass of device
(documentation Camera EnglishLanguage "A Device which is capable of Photographing.") Mid-level-ontology.kif 14805-14805 Camera is a subclass of device
(defaultMinimumHeight Camera
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 811-811 The minimum expected height of camera is 2 inch(s)
(defaultMaximumHeight Camera
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 812-812 The maximum expected height of camera is 6 inch(s)
(defaultMinimumWidth Camera
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 813-813 The minimum expected width of camera is 4 inch(s)
(defaultMaximumWidth Camera
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 814-814 The maximum expected width of camera is 7 inch(s)
(defaultMinimumLength Camera
    (MeasureFn 1 Inch))		 DimensioningAmenities.kif 815-815 The minimum expected length of camera is 1 inch(s)
(defaultMaximumLength Camera
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 816-816 The maximum expected length of camera is 24 inch(s)
(defaultMinimumMeasure Camera
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 817-817 The minimum expected value of camera is 1 pound mass(s)
(defaultMaximumMeasure Camera
    (MeasureFn 15 PoundMass))		 DimensioningAmenities.kif 818-818 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 556-556 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 14807-14809 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 29636-29662 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 14795-14802 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 16081-16092 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 29630-29634 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 29636-29662 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 is open source software produced by Articulate Software and its partners