TelevisionReceiver - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TelevisionReceiver

TelevisionReceiver(television receiver)

appearance as argument number 1

(documentation TelevisionReceiver EnglishLanguage "A TelevisionReceiver is a Device for receiving television broadcast signals from a TelevisionStation or signals transmitted through a cable from a CableTelevisionSystem.")	Communications.kif 429-431
(subclass TelevisionReceiver EngineeringComponent)	Communications.kif 426-426	Television receiver is a subclass of engineering component
(subclass TelevisionReceiver ReceiverDevice)	Communications.kif 425-425	Television receiver is a subclass of receiver device

appearance as argument number 2

(subclass AppleTV TelevisionReceiver)	ComputingBrands.kif 2097-2097	Apple TV is a subclass of television receiver
(termFormat ChineseLanguage TelevisionReceiver "电视接收器")	domainEnglishFormat.kif 57385-57385	Apple TV is a subclass of television receiver
(termFormat ChineseTraditionalLanguage TelevisionReceiver "電視接收器")	domainEnglishFormat.kif 57384-57384	Apple TV is a subclass of television receiver
(termFormat EnglishLanguage TelevisionReceiver "TV")	Communications.kif 428-428	Apple TV is a subclass of television receiver
(termFormat EnglishLanguage TelevisionReceiver "television receiver")	domainEnglishFormat.kif 57383-57383	Apple TV is a subclass of television receiver
(termFormat EnglishLanguage TelevisionReceiver "television")	Communications.kif 427-427	Apple TV is a subclass of television receiver

antecedent

(=>
(instance ?T TelevisionReceiver)
(capability TelevisionBroadcasting patient ?T))

Communications.kif 439-441

If an object is an instance of television receiver,
then the object is capable of doing television broadcasting as a patient

consequent

(=> (instance ?SYSTEM CableTelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM))))	Communications.kif 382-387	If an engineering component is an instance of cable television system, then there exists another engineering component such that the other engineering component is an instance of television receiver and the other engineering component is a component of the engineering component
(=> (instance ?SYSTEM TelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM))))	Communications.kif 432-437	If an engineering component is an instance of television system, then there exists another engineering component such that the other engineering component is an instance of television receiver and the other engineering component is a component of the engineering component
(=> (instance ?TV SatelliteTelevisionSystem) (exists (?SAT ?RECEIVE) (and (instance ?SAT ArtificialSatellite) (member ?SAT ?TV) (instance ?RECEIVE TelevisionReceiver) (member ?RECEIVE ?TV))))	Communications.kif 394-401	If a collection is an instance of satellite tv, then there exist a physical and another physical such that the physical is an instance of artificial satellite and the physical is a member of the collection and the other physical is an instance of television receiver and the other physical is a member of the collection
(=> (instance ?TV TelevisionSet) (exists (?RECEIVER ?DISPLAY) (and (instance ?RECEIVER TelevisionReceiver) (instance ?DISPLAY VideoDisplay) (part ?RECEIVER ?TV) (part ?DISPLAY ?TV))))	Communications.kif 449-456	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 TVRemoteControl) (hasPurpose ?X (exists (?SIGNAL ?DEVICE) (and (instance ?SIGNAL ElectronicSignalling) (agent ?SIGNAL ?X) (destination ?SIGNAL ?DEVICE) (instance ?DEVICE TelevisionReceiver)))))	Communications.kif 463-471	If a physical is an instance of tv remote, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electronic signalling and the physical is an agent of the entity and the entity ends up at the other entity and the other entity is an instance of television receiver

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