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 384-386
(subclass TelevisionReceiver EngineeringComponent)	Communications.kif 381-381	Television receiver is a subclass of engineering component
(subclass TelevisionReceiver ReceiverDevice)	Communications.kif 380-380	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 57392-57392	Apple TV is a subclass of television receiver
(termFormat ChineseTraditionalLanguage TelevisionReceiver "電視接收器")	domainEnglishFormat.kif 57391-57391	Apple TV is a subclass of television receiver
(termFormat EnglishLanguage TelevisionReceiver "TV")	Communications.kif 383-383	Apple TV is a subclass of television receiver
(termFormat EnglishLanguage TelevisionReceiver "television receiver")	domainEnglishFormat.kif 57390-57390	Apple TV is a subclass of television receiver
(termFormat EnglishLanguage TelevisionReceiver "television")	Communications.kif 382-382	Apple TV is a subclass of television receiver

antecedent

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

Communications.kif 394-396

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 337-342	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 387-392	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 349-356	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 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 TVRemoteControl) (hasPurpose ?X (exists (?SIGNAL ?DEVICE) (and (instance ?SIGNAL ElectronicSignalling) (agent ?SIGNAL ?X) (destination ?SIGNAL ?DEVICE) (instance ?DEVICE TelevisionReceiver)))))	Communications.kif 418-426	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