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 437-437
(defaultMaximumLength VideoDisplay
    (MeasureFn 18 Inch))
DimensioningAmenities.kif 441-441
(defaultMaximumMeasure VideoDisplay
    (MeasureFn 100 PoundMass))
DimensioningAmenities.kif 443-443
(defaultMaximumWidth VideoDisplay
    (MeasureFn 47 Inch))
DimensioningAmenities.kif 439-439
(defaultMinimumHeight VideoDisplay
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 436-436
(defaultMinimumLength VideoDisplay
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 440-440
(defaultMinimumMeasure VideoDisplay
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 442-442
(defaultMinimumWidth VideoDisplay
    (MeasureFn 13 Inch))
DimensioningAmenities.kif 438-438
(documentation VideoDisplay EnglishLanguage "VideoDisplay is a type of ElectricDevice that can RadiatingLight to show VideoRecording") Mid-level-ontology.kif 23832-23833
(subclass VideoDisplay ElectricDevice) Mid-level-ontology.kif 23831-23831

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


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

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

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 24722-24726
(=>
    (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