Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation Camera EnglishLanguage "A Device which is capable of Photographing.") Mid-level-ontology.kif 13314-13314
(externalImage Camera "http://articulatesoftware.com/SUMOpictures/camera/ camera.png") pictureList.kif 315-315
(externalImage Camera "http://upload.wikimedia.org/wikipedia/commons/1/11/ Canon_Digital_Ixus_430.jpg") pictureList.kif 58-58
(subclass Camera Device) Mid-level-ontology.kif 13313-13313 Camera is a subclass of device

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


(subclass VideoCamera Camera) ComputerInput.kif 556-556 Video camera is a subclass of camera
(termFormat ChineseLanguage Camera "相机") domainEnglishFormat.kif 12811-12811
(termFormat ChineseTraditionalLanguage Camera "相機") domainEnglishFormat.kif 12810-12810
(termFormat EnglishLanguage Camera "camera") domainEnglishFormat.kif 12809-12809

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 26973-26999
(=>
    (instance ?CAMERA Camera)
    (capability Photographing instrument ?CAMERA))
Mid-level-ontology.kif 13316-13318

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 26973-26999
(=>
    (instance ?SHOOT Photographing)
    (exists (?PHOTO ?CAMERA)
        (and
            (instance ?PHOTO Photograph)
            (result ?SHOOT ?PHOTO)
            (instrument ?SHOOT ?CAMERA)
            (instance ?CAMERA Camera))))
Mid-level-ontology.kif 13304-13311
(=>
    (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 14559-14570
(=>
    (instance ?X SurveillanceSystem)
    (and
        (memberType ?X Camera)
        (memberType ?X VideoDisplay)))
Mid-level-ontology.kif 26967-26971


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