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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - VideoDisplay
VideoDisplay(video display)VDU, visual_display_unit

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


(documentation VideoDisplay EnglishLanguage "VideoDisplay is a type of ElectricDevice that can RadiatingLight to show VideoRecording") Mid-level-ontology.kif 28164-28165
(subclass VideoDisplay ElectricDevice) Mid-level-ontology.kif 28163-28163 Video display is a subclass of electric device

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


(subclass TouchScreen VideoDisplay) QoSontology.kif 592-592 Touch screen is a subclass of video display
(termFormat EnglishLanguage VideoDisplay "video display") Mid-level-ontology.kif 28166-28166 Touch screen is a subclass of video display

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 28874-28900
(=>
    (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 28168-28176

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


(=>
    (instance ?CHECK VideoCheckOut)
    (exists (?VD)
        (and
            (instance ?VD VideoDisplay)
            (instrument ?CHECK ?VD))))
Hotel.kif 2235-2240
(=>
    (instance ?TV TelevisionSet)
    (exists (?RECEIVER ?DISPLAY)
        (and
            (instance ?RECEIVER TelevisionReceiver)
            (instance ?DISPLAY VideoDisplay)
            (part ?RECEIVER ?TV)
            (part ?DISPLAY ?TV))))
Communications.kif 449-456
(=>
    (instance ?X SurveillanceSystem)
    (and
        (memberType ?X Camera)
        (memberType ?X VideoDisplay)))
Mid-level-ontology.kif 28868-28872
(=>
    (propertyAmenity ?HR VideoCheckOut)
    (exists (?VD ?ROOM)
        (and
            (instance ?VD VideoDisplay)
            (capability VideoCheckOut instrument ?VD)
            (located ?VD ?ROOM)
            (instance ?ROOM ?HR))))
Hotel.kif 2242-2249


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