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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VideoDisplay

Sigma KEE - VideoDisplay
VideoDisplay

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


(defaultMaximumHeight VideoDisplay
    (MeasureFn 30 Inch))
DimensioningAmenities.kif 190-190
(defaultMaximumLength VideoDisplay
    (MeasureFn 18 Inch))
DimensioningAmenities.kif 194-194
(defaultMaximumMeasure VideoDisplay
    (MeasureFn 100 PoundMass))
DimensioningAmenities.kif 196-196
(defaultMaximumWidth VideoDisplay
    (MeasureFn 47 Inch))
DimensioningAmenities.kif 192-192
(defaultMinimumHeight VideoDisplay
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 189-189
(defaultMinimumLength VideoDisplay
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 193-193
(defaultMinimumMeasure VideoDisplay
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 195-195
(defaultMinimumWidth VideoDisplay
    (MeasureFn 13 Inch))
DimensioningAmenities.kif 191-191
(documentation VideoDisplay EnglishLanguage "VideoDisplay is a type of ElectricDevice that can RadiatingLight to show VideoRecording") Mid-level-ontology.kif 24193-24194
(subclass VideoDisplay ElectricDevice) Mid-level-ontology.kif 24192-24192

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


(subclass TouchScreen VideoDisplay) QoSontology.kif 464-464
(termFormat EnglishLanguage VideoDisplay "video display") Mid-level-ontology.kif 24195-24195

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 ?X VideoDisplay)
    (hasPurpose ?X
        (exists (?RL ?VIDEO)
            (and
                (instance ?RL RadiatingLight)
                (instance ?VIDEO VideoRecording)
                (patient ?RL ?VIDEO)
                (instrument ?RL ?X)))))
Mid-level-ontology.kif 24197-24205

consequent
-------------------------


(=>
    (instance ?CHECK VideoCheckOut)
    (exists (?VD)
        (and
            (instance ?VD VideoDisplay)
            (instrument ?CHECK ?VD))))
Hotel.kif 2165-2170
(=>
    (instance ?TV TelevisionSet)
    (exists (?RECEIVER ?DISPLAY)
        (and
            (instance ?RECEIVER TelevisionReceiver)
            (instance ?DISPLAY VideoDisplay)
            (part ?RECEIVER ?TV)
            (part ?DISPLAY ?TV))))
Communications.kif 404-411
(=>
    (instance ?X SurveillanceSystem)
    (and
        (memberType ?X Camera)
        (memberType ?X VideoDisplay)))
Mid-level-ontology.kif 25083-25087
(=>
    (propertyAmenity ?HR VideoCheckOut)
    (exists (?VD ?ROOM)
        (and
            (instance ?VD VideoDisplay)
            (capability VideoCheckOut instrument ?VD)
            (located ?VD ?ROOM)
            (instance ?ROOM ?HR))))
Hotel.kif 2172-2179


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