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	子類無線電系統 and 通訊系統

appearance as argument number 2

(engineeringSubcomponent AMRadioStation RadioSystem)	Communications.kif 294-294	工程子組件 AM廣播電台 and 無線電系統
(engineeringSubcomponent FMRadioStation RadioSystem)	Communications.kif 299-299	工程子組件調頻廣播電台 and 無線電系統
(engineeringSubcomponent RadioStation RadioSystem)	Communications.kif 289-289	工程子組件廣播電台 and 無線電系統
(engineeringSubcomponent ShortwaveRadioStation RadioSystem)	Communications.kif 304-304	工程子組件短波電台 and 無線電系統
(subclass AMRadioSystem RadioSystem)	Communications.kif 236-236	子類 AM無線電系統 and 無線電系統
(subclass BabyMonitoringSystem RadioSystem)	Communications.kif 251-251	子類 BabyMonitoringSystem and 無線電系統
(subclass FMRadioSystem RadioSystem)	Communications.kif 241-241	子類調頻廣播系統 and 無線電系統
(subclass ShortwaveRadioSystem RadioSystem)	Communications.kif 246-246	子類短波無線電系統 and 無線電系統
(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