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
-------------------------


(defaultMaximumHeight Camera
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 812-812
(defaultMaximumLength Camera
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 816-816
(defaultMaximumMeasure Camera
    (MeasureFn 15 PoundMass))
DimensioningAmenities.kif 818-818
(defaultMaximumWidth Camera
    (MeasureFn 7 Inch))
DimensioningAmenities.kif 814-814
(defaultMinimumHeight Camera
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 811-811
(defaultMinimumLength Camera
    (MeasureFn 1 Inch))
DimensioningAmenities.kif 815-815
(defaultMinimumMeasure Camera
    (MeasureFn 1 PoundMass))
DimensioningAmenities.kif 817-817
(defaultMinimumWidth Camera
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 813-813
(documentation Camera EnglishLanguage "A Device which is capable of Photographing.") Mid-level-ontology.kif 10916-10916
(externalImage Camera "http://upload.wikimedia.org/wikipedia/commons/1/11/ Canon_Digital_Ixus_430.jpg") pictureList.kif 58-58
(externalImage Camera "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ camera/ camera.png") pictureList.kif 315-315
(subclass Camera Device) Mid-level-ontology.kif 10915-10915

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


(subclass VideoCamera Camera) ComputerInput.kif 497-497
(termFormat EnglishLanguage Camera "camera") domainEnglishFormat.kif 2559-2559

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 25089-25115
(=>
    (instance ?CAMERA Camera)
    (capability Photographing instrument ?CAMERA))
Mid-level-ontology.kif 10918-10920

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 25089-25115
(=>
    (instance ?SHOOT Photographing)
    (exists (?PHOTO ?CAMERA)
        (and
            (instance ?PHOTO Photograph)
            (result ?SHOOT ?PHOTO)
            (instrument ?SHOOT ?CAMERA)
            (instance ?CAMERA Camera))))
Mid-level-ontology.kif 10906-10913
(=>
    (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 12305-12316
(=>
    (instance ?X SurveillanceSystem)
    (and
        (memberType ?X Camera)
        (memberType ?X VideoDisplay)))
Mid-level-ontology.kif 25083-25087


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners