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	无线电系统是通讯系统的 subclass

appearance as argument number 2

(engineeringSubcomponent AMRadioStation RadioSystem)	Communications.kif 294-294	AM广播电台是无线电系统的 component
(engineeringSubcomponent FMRadioStation RadioSystem)	Communications.kif 299-299	调频广播电台是无线电系统的 component
(engineeringSubcomponent RadioStation RadioSystem)	Communications.kif 289-289	广播电台是无线电系统的 component
(engineeringSubcomponent ShortwaveRadioStation RadioSystem)	Communications.kif 304-304	短波电台是无线电系统的 component
(subclass AMRadioSystem RadioSystem)	Communications.kif 236-236	AM无线电系统是无线电系统的 subclass
(subclass BabyMonitoringSystem RadioSystem)	Communications.kif 251-251	BabyMonitoringSystem 是无线电系统的 subclass
(subclass FMRadioSystem RadioSystem)	Communications.kif 241-241	调频广播系统是无线电系统的 subclass
(subclass ShortwaveRadioSystem RadioSystem)	Communications.kif 246-246	短波无线电系统是无线电系统的 subclass
(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