TreeView Knowledge Base Browser

appearance as argument number 1

(subclass RadioStation BroadcastingStation)	Communications.kif 273-273	Radio station is a subclass of broadcasting station
(documentation RadioStation EnglishLanguage "A RadioStation is an engineeringSubcomponent of a RadioSystem.")	Communications.kif 281-282	Radio station is a subclass of broadcasting station
(externalImage RadioStation "http://upload.wikimedia.org/wikipedia/en/8/ 8a/ 2006AM_broadcast_stations.PNG")	pictureList.kif 6808-6808	Radio station is a subclass of broadcasting station
(externalImage RadioStation "http://upload.wikimedia.org/wikipedia/en/e/ ea/ 2006FM_broadcast_stations.PNG")	pictureList.kif 7698-7698	Radio station is a subclass of broadcasting station

appearance as argument number 2

(subclass AMRadioStation RadioStation)	Communications.kif 284-284	AM radio station is a subclass of radio station
(subclass FMRadioStation RadioStation)	Communications.kif 294-294	FM radio station is a subclass of radio station
(subclass ShortwaveRadioStation RadioStation)	Communications.kif 304-304	Shortwave radio station is a subclass of radio station
(termFormat EnglishLanguage RadioStation "radio station")	domainEnglishFormat.kif 48535-48535	Shortwave radio station is a subclass of radio station
(termFormat ChineseTraditionalLanguage RadioStation "廣播電台")	domainEnglishFormat.kif 48536-48536	Shortwave radio station is a subclass of radio station
(termFormat ChineseLanguage RadioStation "广播电台")	domainEnglishFormat.kif 48537-48537	Shortwave radio station is a subclass of radio station

antecedent

(=>
    (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

consequent

(=>
    (instance ?STATION BroadcastingStation)
    (or
        (instance ?STATION TelevisionStation)
        (instance ?STATION RadioStation)))