AMRadioSystem - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AMRadioSystem RadioSystem)	Communications.kif 241-241	AM radio system is a subclass of radio system
(documentation AMRadioSystem EnglishLanguage "An AMRadioSystem consists of Radios, AMRadioStations, and other components that work together to make AM radio broadcasting possible in a given area.")	Communications.kif 242-244	AM radio system is a subclass of radio system

appearance as argument number 2

(termFormat EnglishLanguage AMRadioSystem "AM radio system")	domainEnglishFormat.kif 7307-7307
(termFormat ChineseTraditionalLanguage AMRadioSystem "AM無線電系統")	domainEnglishFormat.kif 7308-7308
(termFormat ChineseLanguage AMRadioSystem "AM无线电系统")	domainEnglishFormat.kif 7309-7309

consequent

(=>
    (instance ?STATION AMRadioStation)
    (exists (?SYS)
        (and
            (instance ?SYS AMRadioSystem)
            (engineeringSubcomponent ?STATION ?SYS))))

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