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 26263-26264 | |
(subclass VideoDisplay ElectricDevice) | Mid-level-ontology.kif 26262-26262 | VideoDisplay ist eine teilkategorie von ElectricDevice |
appearance as argument number 2 |
(subclass TouchScreen VideoDisplay) | QoSontology.kif 484-484 | TouchScreen ist eine teilkategorie von VideoDisplay |
(termFormat EnglishLanguage VideoDisplay "video display") | Mid-level-ontology.kif 26265-26265 |
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 26973-26999 |
|
(=> (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 26267-26275 |
|
consequent |
(=> (instance ?CHECK VideoCheckOut) (exists (?VD) (and (instance ?VD VideoDisplay) (instrument ?CHECK ?VD)))) |
Hotel.kif 2224-2229 |
|
(=> (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 26967-26971 |
|
(=> (propertyAmenity ?HR VideoCheckOut) (exists (?VD ?ROOM) (and (instance ?VD VideoDisplay) (capability VideoCheckOut instrument ?VD) (located ?VD ?ROOM) (instance ?ROOM ?HR)))) |
Hotel.kif 2231-2238 |
|