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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Camera

 Sigma KEE - Camera
Camera

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


(documentation Camera EnglishLanguage "A Device which is capable of Photographing.") Mid-level-ontology.kif 13341-13341
(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 13340-13340 Camera est une sous-classe de appareil

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


(subclass VideoCamera Camera) ComputerInput.kif 556-556 VideoCamera est une sous-classe de 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 27006-27032
(=>
    (instance ?CAMERA Camera)
    (capability Photographing instrument ?CAMERA))		 Mid-level-ontology.kif 13343-13345

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 27006-27032
(=>
    (instance ?SHOOT Photographing)
    (exists (?PHOTO ?CAMERA)
        (and
            (instance ?PHOTO Photograph)
            (result ?SHOOT ?PHOTO)
            (instrument ?SHOOT ?CAMERA)
            (instance ?CAMERA Camera))))		 Mid-level-ontology.kif 13331-13338
(=>
    (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 14586-14597
(=>
    (instance ?X SurveillanceSystem)
    (and
        (memberType ?X Camera)
        (memberType ?X VideoDisplay)))		 Mid-level-ontology.kif 27000-27004


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

Show without tree


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