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	RadioSystem e' uma sub-classe de CommunicationSystem

appearance as argument number 2

(engineeringSubcomponent AMRadioStation RadioSystem)	Communications.kif 294-294	AMRadioStation e' um componente de RadioSystem
(engineeringSubcomponent FMRadioStation RadioSystem)	Communications.kif 299-299	FMRadioStation e' um componente de RadioSystem
(engineeringSubcomponent RadioStation RadioSystem)	Communications.kif 289-289	RadioStation e' um componente de RadioSystem
(engineeringSubcomponent ShortwaveRadioStation RadioSystem)	Communications.kif 304-304	ShortwaveRadioStation e' um componente de RadioSystem
(subclass AMRadioSystem RadioSystem)	Communications.kif 236-236	AMRadioSystem e' uma sub-classe de RadioSystem
(subclass BabyMonitoringSystem RadioSystem)	Communications.kif 251-251	BabyMonitoringSystem e' uma sub-classe de RadioSystem
(subclass FMRadioSystem RadioSystem)	Communications.kif 241-241	FMRadioSystem e' uma sub-classe de RadioSystem
(subclass ShortwaveRadioSystem RadioSystem)	Communications.kif 246-246	ShortwaveRadioSystem e' uma sub-classe de RadioSystem
(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