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

s__documentation(s__VideoDisplay,s__EnglishLanguage,'"VideoDisplay is a type of ElectricDevice that can RadiatingLight to show VideoRecording"')

Mid-level-ontology.kif 25299-25300

s__instance(s__VideoDisplay,s__SetOrClass)

s__subclass(s__VideoDisplay,s__ElectricDevice)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 25298-25298

Video display is a subclass of electric device

appearance as argument number 2

s__instance(s__TouchScreen,s__SetOrClass)

s__subclass(s__TouchScreen,s__VideoDisplay)

s__instance(s__VideoDisplay,s__SetOrClass)

QoSontology.kif 482-482

TouchScreen is a subclass of video display

s__termFormat(s__EnglishLanguage,s__VideoDisplay,'"video display"')

Mid-level-ontology.kif 25301-25301

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26013-26039	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 2 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25303-25311	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

( ! [V__CHECK] : ((s__instance(V__CHECK,s__VideoCheckOut) => (( ? [V__VD] : ((s__instance(V__VD,s__VideoDisplay) & s__instrument(V__CHECK,V__VD)))))) ) )	Hotel.kif 2197-2202	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
( ! [V__TV] : ((s__instance(V__TV,s__TelevisionSet) => (( ? [V__RECEIVER, V__DISPLAY] : ((s__instance(V__RECEIVER,s__TelevisionReceiver) & s__instance(V__DISPLAY,s__VideoDisplay) & s__part(V__RECEIVER,V__TV) & s__part(V__DISPLAY,V__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
( ! [V__X] : ((s__instance(V__X,s__SurveillanceSystem) => ((s__memberType(V__X,s__Camera) & s__memberType(V__X,s__VideoDisplay)))) ) )	Mid-level-ontology.kif 26007-26011	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
( ! [V__HR] : (((s__instance(V__HR,s__Agent) & s__instance(V__HR,s__Class)) => ((s__propertyAmenity(V__HR,s__VideoCheckOut) => (( ? [V__VD, V__ROOM] : ((s__instance(V__ROOM,s__Object) & (s__instance(V__VD,s__VideoDisplay) & s__capability(s__VideoCheckOut,s__instrument__m,V__VD) & s__located(V__VD,V__ROOM) & s__instance(V__ROOM,V__HR))))))))) ) )	Hotel.kif 2204-2211	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