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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25629-25630
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25628-25628	Video display is a subclass of electric device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 482-482	TouchScreen is a subclass of video display
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25631-25631

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26343-26369	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 25633-25641	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26337-26341	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
No TPTP formula. May not be expressible in strict first order.	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