VideoDisplay - Sigma Knowledge base Browser

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 26251-26252
(subclass VideoDisplay ElectricDevice)	Mid-level-ontology.kif 26250-26250	Video display is a subclass of electric device

appearance as argument number 2

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

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 26961-26987	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and the object is not equal to the other object and the other collection is an instance of video display, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
(=> (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 26255-26263	If a physical is an instance of video display, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of radiating light and the other entity is an instance of video recording and the other entity is a patient of the entity and the physical is an instrument for the entity

consequent

(=> (instance ?CHECK VideoCheckOut) (exists (?VD) (and (instance ?VD VideoDisplay) (instrument ?CHECK ?VD))))	Hotel.kif 2224-2229	If a process is an instance of video check-out, then there exists an object such that the object is an instance of video display and the object is an instrument for the process
(=> (instance ?TV TelevisionSet) (exists (?RECEIVER ?DISPLAY) (and (instance ?RECEIVER TelevisionReceiver) (instance ?DISPLAY VideoDisplay) (part ?RECEIVER ?TV) (part ?DISPLAY ?TV))))	Communications.kif 404-411	If an object is an instance of television set, then there exist another object and a third object such that the other object is an instance of television receiver and the third object is an instance of video display and the other object is a part of the object and the third object is a part of the object
(=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay)))	Mid-level-ontology.kif 26955-26959	If a collection is an instance of surveillance system, then camera is a member type of the collection and video display is a member type of the collection
(=> (propertyAmenity ?HR VideoCheckOut) (exists (?VD ?ROOM) (and (instance ?VD VideoDisplay) (capability VideoCheckOut instrument ?VD) (located ?VD ?ROOM) (instance ?ROOM ?HR))))	Hotel.kif 2231-2238	If an agent has video check-out, then there exist an object and another object such that the object is an instance of video display and the object is capable of doing video check-out as a instrument and the object is located at the other object and the other object is an instance of the agent

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