RadioSystem - Sigma Knowledge base Browser

appearance as argument number 1

(subclass RadioSystem CommunicationSystem)	Communications.kif 217-217	Radio system is a subclass of communication system
(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 218-220	Radio system is a subclass of communication system

appearance as argument number 2

(subclass AMRadioSystem RadioSystem)	Communications.kif 222-222	AM radio system is a subclass of radio system
(subclass FMRadioSystem RadioSystem)	Communications.kif 227-227	FM radio system is a subclass of radio system
(subclass ShortwaveRadioSystem RadioSystem)	Communications.kif 232-232	Shortwave radio system is a subclass of radio system
(subclass BabyMonitoringSystem RadioSystem)	Communications.kif 237-237	Baby monitor is a subclass of radio system
(termFormat EnglishLanguage RadioSystem "radio system")	domainEnglishFormat.kif 48547-48547	Baby monitor is a subclass of radio system
(termFormat ChineseTraditionalLanguage RadioSystem "無線電系統")	domainEnglishFormat.kif 48548-48548	Baby monitor is a subclass of radio system
(termFormat ChineseLanguage RadioSystem "无线电系统")	domainEnglishFormat.kif 48549-48549	Baby monitor is a subclass of radio system

antecedent

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

If X is an instance of radio system, then there exists Y such that Y is an instance of radio receiver and Y is a component of X

consequent

(=>
    (instance ?STATION RadioStation)
    (exists (?SYS)
        (and
            (instance ?SYS RadioSystem)
            (engineeringSubcomponent ?STATION ?SYS))))

If X is an instance of radio station, then there exists Y such that Y is an instance of radio system and X is a component of Y