AMRadioStation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AMRadioStation RadioStation)	Communications.kif 284-284	AM radio station is a subclass of radio station
(documentation AMRadioStation EnglishLanguage "An AMRadioStation is an engineeringSubcomponent of an AMRadioSystem.")	Communications.kif 291-292	AM radio station is a subclass of radio station

appearance as argument number 2

(termFormat EnglishLanguage AMRadioStation "AM radio station")	domainEnglishFormat.kif 7301-7301
(termFormat ChineseTraditionalLanguage AMRadioStation "AM廣播電台")	domainEnglishFormat.kif 7302-7302
(termFormat ChineseLanguage AMRadioStation "AM广播电台")	domainEnglishFormat.kif 7303-7303

antecedent

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