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


(defaultMaximumHeight Camera
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 1059-1059
(defaultMaximumLength Camera
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 1063-1063
(defaultMaximumMeasure Camera
    (MeasureFn 15 PoundMass))
DimensioningAmenities.kif 1065-1065
(defaultMaximumWidth Camera
    (MeasureFn 7 Inch))
DimensioningAmenities.kif 1061-1061
(defaultMinimumHeight Camera
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 1058-1058
(defaultMinimumLength Camera
    (MeasureFn 1 Inch))
DimensioningAmenities.kif 1062-1062
(defaultMinimumMeasure Camera
    (MeasureFn 1 PoundMass))
DimensioningAmenities.kif 1064-1064
(defaultMinimumWidth Camera
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 1060-1060
(documentation Camera EnglishLanguage "A Device which is capable of Photographing.") Mid-level-ontology.kif 10904-10904
(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 10903-10903

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


(subclass VideoCamera Camera) ComputerInput.kif 483-483
(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 24728-24754
(=>
    (instance ?CAMERA Camera)
    (capability Photographing instrument ?CAMERA))
Mid-level-ontology.kif 10906-10908

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 24728-24754
(=>
    (instance ?SHOOT Photographing)
    (exists (?PHOTO ?CAMERA)
        (and
            (instance ?PHOTO Photograph)
            (result ?SHOOT ?PHOTO)
            (instrument ?SHOOT ?CAMERA)
            (instance ?CAMERA Camera))))
Mid-level-ontology.kif 10894-10901
(=>
    (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 12045-12056
(=>
    (instance ?X SurveillanceSystem)
    (and
        (memberType ?X Camera)
        (memberType ?X VideoDisplay)))
Mid-level-ontology.kif 24722-24726


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