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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Camera
Camera

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


(documentation Camera EnglishLanguage "A Device which is capable of Photographing.") Mid-level-ontology.kif 14653-14653
(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 14652-14652 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 12820-12820 VideoCamera est une sous-classe de Camera
(termFormat ChineseTraditionalLanguage Camera "相機") domainEnglishFormat.kif 12819-12819 VideoCamera est une sous-classe de Camera
(termFormat EnglishLanguage Camera "camera") domainEnglishFormat.kif 12818-12818 VideoCamera est une sous-classe de Camera

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 28872-28898
(=>
    (instance ?CAMERA Camera)
    (capability Photographing instrument ?CAMERA))		 Mid-level-ontology.kif 14655-14657

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 28872-28898
(=>
    (instance ?SHOOT Photographing)
    (exists (?PHOTO ?CAMERA)
        (and
            (instance ?PHOTO Photograph)
            (result ?SHOOT ?PHOTO)
            (instrument ?SHOOT ?CAMERA)
            (instance ?CAMERA Camera))))		 Mid-level-ontology.kif 14643-14650
(=>
    (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 15930-15941
(=>
    (instance ?X SurveillanceSystem)
    (and
        (memberType ?X Camera)
        (memberType ?X VideoDisplay)))		 Mid-level-ontology.kif 28866-28870


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