FMRadioSystem - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FMRadioSystem RadioSystem)	Communications.kif 227-227	FM radio system is a subclass of radio system
(documentation FMRadioSystem EnglishLanguage "A FMRadioSystem consists of Radios, FMRadioStations, and other components that work together to make FM radio broadcasting possible in a given area.")	Communications.kif 228-230	FM radio system is a subclass of radio system

appearance as argument number 2

(termFormat EnglishLanguage FMRadioSystem "FM radio system")	domainEnglishFormat.kif 24442-24442
(termFormat ChineseTraditionalLanguage FMRadioSystem "調頻廣播系統")	domainEnglishFormat.kif 24443-24443
(termFormat ChineseLanguage FMRadioSystem "调频广播系统")	domainEnglishFormat.kif 24444-24444

consequent

(=>
    (instance ?STATION FMRadioStation)
    (exists (?SYS)
        (and
            (instance ?SYS FMRadioSystem)
            (engineeringSubcomponent ?STATION ?SYS))))

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