TelevisionSystem - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TelevisionSystem CommunicationSystem)	Communications.kif 366-366	Television system is a subclass of communication system
(documentation TelevisionSystem EnglishLanguage "A system for Broadcasting and receiving television signals.")	Communications.kif 367-368	Television system is a subclass of communication system

appearance as argument number 2

(termFormat EnglishLanguage TelevisionSystem "television system")	domainEnglishFormat.kif 57359-57359
(termFormat ChineseTraditionalLanguage TelevisionSystem "電視系統")	domainEnglishFormat.kif 57360-57360
(termFormat ChineseLanguage TelevisionSystem "电视系统")	domainEnglishFormat.kif 57361-57361

antecedent

(=> (instance ?SYSTEM TelevisionSystem) (exists (?STATION) (and (instance ?STATION TelevisionStation) (engineeringSubcomponent ?STATION ?SYSTEM))))	Communications.kif 379-384	If X is an instance of television system, then there exists Y such that Y is an instance of television station and Y is a component of X
(=> (instance ?SYSTEM TelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM))))	Communications.kif 440-445	If X is an instance of television system, then there exists Y such that Y is an instance of TV and Y is a component of X

consequent

(=>
    (instance ?STATION TelevisionStation)
    (exists (?SYS)
        (and
            (instance ?SYS TelevisionSystem)
            (engineeringSubcomponent ?STATION ?SYS))))

If X is an instance of television station, then there exists Y such that Y is an instance of television system and X is a component of Y