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

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 28152-28153
(subclass VideoDisplay ElectricDevice)	Mid-level-ontology.kif 28151-28151	VideoDisplay is a subclass of ElectricDevice

appearance as argument number 2

(subclass TouchScreen VideoDisplay)	QoSontology.kif 592-592	TouchScreen is a subclass of VideoDisplay
(termFormat EnglishLanguage VideoDisplay "video display")	Mid-level-ontology.kif 28154-28154	TouchScreen is a subclass of VideoDisplay

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 28858-28884	If a physical is an instance of SurveillanceSystem 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 equal the object and the other object and the other collection is an instance of VideoDisplay, 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 event located the entity and 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 28156-28164	If a physical is an instance of VideoDisplay, 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 VideoRecording 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 2235-2240	If a process is an instance of VideoCheckOut, then there exists an object such that the object is an instance of VideoDisplay 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 446-453	If an object is an instance of TelevisionSet, then there exist another object and a third object such that the other object is an instance of TelevisionReceiver and the third object is an instance of VideoDisplay 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 28852-28856	If a collection is an instance of SurveillanceSystem, then memberType the collection and Camera and memberType the collection and VideoDisplay
(=> (propertyAmenity ?HR VideoCheckOut) (exists (?VD ?ROOM) (and (instance ?VD VideoDisplay) (capability VideoCheckOut instrument ?VD) (located ?VD ?ROOM) (instance ?ROOM ?HR))))	Hotel.kif 2242-2249	If propertyAmenity an agent and VideoCheckOut, then there exist an object and another object such that the object is an instance of VideoDisplay and the object is capable of doing VideoCheckOut 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