TreeView Knowledge Base Browser

appearance as argument number 1

(documentation RadioSystem EnglishLanguage "A RadioSystem consists of Radios, RadioStations, and other components that work together to make radio broadcasting possible in a given area.")	Communications.kif 232-234
(subclass RadioSystem CommunicationSystem)	Communications.kif 231-231	Radio system is a subclass of communication system

appearance as argument number 2

(engineeringSubcomponent AMRadioStation RadioSystem)	Communications.kif 294-294	AM radio station is a component of radio system
(engineeringSubcomponent FMRadioStation RadioSystem)	Communications.kif 299-299	FM radio station is a component of radio system
(engineeringSubcomponent RadioStation RadioSystem)	Communications.kif 289-289	Radio station is a component of radio system
(engineeringSubcomponent ShortwaveRadioStation RadioSystem)	Communications.kif 304-304	Shortwave radio station is a component of radio system
(subclass AMRadioSystem RadioSystem)	Communications.kif 236-236	AM radio system is a subclass of radio system
(subclass BabyMonitoringSystem RadioSystem)	Communications.kif 251-251	Baby monitor is a subclass of radio system
(subclass FMRadioSystem RadioSystem)	Communications.kif 241-241	FM radio system is a subclass of radio system
(subclass ShortwaveRadioSystem RadioSystem)	Communications.kif 246-246	Shortwave radio system is a subclass of radio system
(termFormat ChineseLanguage RadioSystem "无线电系统")	domainEnglishFormat.kif 48554-48554
(termFormat ChineseTraditionalLanguage RadioSystem "無線電系統")	domainEnglishFormat.kif 48553-48553
(termFormat EnglishLanguage RadioSystem "radio system")	domainEnglishFormat.kif 48552-48552

antecedent

(=>
    (instance ?SYSTEM RadioSystem)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE RadioReceiver)
            (engineeringSubcomponent ?DEVICE ?SYSTEM))))

Communications.kif 310-315