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 26296-26297 | |
(subclass VideoDisplay ElectricDevice) | Mid-level-ontology.kif 26295-26295 | VideoDisplay 是 电器 的 subclass |
appearance as argument number 2 |
(subclass TouchScreen VideoDisplay) | QoSontology.kif 484-484 | TouchScreen 是 VideoDisplay 的 subclass |
(termFormat EnglishLanguage VideoDisplay "video display") | Mid-level-ontology.kif 26298-26298 |
antecedent |
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 27000-27004 |
|
(=> (propertyAmenity ?HR VideoCheckOut) (exists (?VD ?ROOM) (and (instance ?VD VideoDisplay) (capability VideoCheckOut instrument ?VD) (located ?VD ?ROOM) (instance ?ROOM ?HR)))) |
Hotel.kif 2231-2238 |