TelevisionReceiver
|
|
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 | TelevisionReceiver e' uma sub-classe de Componente de Engenharia |
(subclass TelevisionReceiver ReceiverDevice) | Communications.kif 380-380 | TelevisionReceiver e' uma sub-classe de ReceiverDevice |
appearance as argument number 2 |
(subclass AppleTV TelevisionReceiver) | ComputingBrands.kif 2097-2097 | AppleTV e' uma sub-classe de TelevisionReceiver |
(termFormat ChineseLanguage TelevisionReceiver "电视接收器") | domainEnglishFormat.kif 57352-57352 | |
(termFormat ChineseTraditionalLanguage TelevisionReceiver "電視接收器") | domainEnglishFormat.kif 57351-57351 | |
(termFormat EnglishLanguage TelevisionReceiver "TV") | Communications.kif 383-383 | |
(termFormat EnglishLanguage TelevisionReceiver "television receiver") | domainEnglishFormat.kif 57350-57350 | |
(termFormat EnglishLanguage TelevisionReceiver "television") | Communications.kif 382-382 |
antecedent |
(=> (instance ?T TelevisionReceiver) (capability TelevisionBroadcasting patient ?T)) |
Communications.kif 394-396 |
|
consequent |
(=> (instance ?SYSTEM CableTelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 337-342 | |
(=> (instance ?SYSTEM TelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 387-392 | |
(=> (instance ?TV SatelliteTelevisionSystem) (exists (?SAT ?RECEIVE) (and (instance ?SAT ArtificialSatellite) (member ?SAT ?TV) (instance ?RECEIVE TelevisionReceiver) (member ?RECEIVE ?TV)))) |
Communications.kif 349-356 | |
(=> (instance ?TV TelevisionSet) (exists (?RECEIVER ?DISPLAY) (and (instance ?RECEIVER TelevisionReceiver) (instance ?DISPLAY VideoDisplay) (part ?RECEIVER ?TV) (part ?DISPLAY ?TV)))) |
Communications.kif 404-411 |
|
(=> (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 |