| VideoDisplay | |
| appearance as argument number 1 |
|
|
| (documentation VideoDisplay EnglishLanguage "VideoDisplay is a type of ElectricDevice that can RadiatingLight to show VideoRecording") | Mid-level-ontology.kif 25629-25630 | |
| (subclass VideoDisplay ElectricDevice) | Mid-level-ontology.kif 25628-25628 |
| appearance as argument number 2 |
|
|
| (subclass TouchScreen VideoDisplay) | QoSontology.kif 482-482 | |
| (termFormat EnglishLanguage VideoDisplay "video display") | Mid-level-ontology.kif 25631-25631 |
| 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 26343-26369 | |
| (=> (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 25633-25641 |
| consequent |
|
|
| (=> (instance ?CHECK VideoCheckOut) (exists (?VD) (and (instance ?VD VideoDisplay) (instrument ?CHECK ?VD)))) |
Hotel.kif 2197-2202 | |
| (=> (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 26337-26341 | |
| (=> (propertyAmenity ?HR VideoCheckOut) (exists (?VD ?ROOM) (and (instance ?VD VideoDisplay) (capability VideoCheckOut instrument ?VD) (located ?VD ?ROOM) (instance ?ROOM ?HR)))) |
Hotel.kif 2204-2211 |
|
|
|