FMRadioStation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FMRadioStation RadioStation)	Communications.kif 294-294	FM radio station is a subclass of radio station
(documentation FMRadioStation EnglishLanguage "A FMRadioStation is an engineeringSubcomponent of an FMRadioSystem.")	Communications.kif 301-302	FM radio station is a subclass of radio station

appearance as argument number 2

(termFormat EnglishLanguage FMRadioStation "FM radio station")	domainEnglishFormat.kif 24436-24436
(termFormat ChineseTraditionalLanguage FMRadioStation "調頻廣播電台")	domainEnglishFormat.kif 24437-24437
(termFormat ChineseLanguage FMRadioStation "调频广播电台")	domainEnglishFormat.kif 24438-24438

antecedent

(=>
    (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