RadioStation - Sigma Knowledge base Browser

appearance as argument number 1

s__subclass(s__RadioStation,s__BroadcastingStation)	Communications.kif 273-273	Radio station is a subclass of broadcasting station
s__documentation(s__RadioStation, s__EnglishLanguage, "A RadioStation is an engineeringSubcomponent of a RadioSystem_")	Communications.kif 281-282	Radio station is a subclass of broadcasting station
s__externalImage(s__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
s__externalImage(s__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

s__subclass(s__AMRadioStation,s__RadioStation)	Communications.kif 284-284	AM radio station is a subclass of radio station
s__subclass(s__FMRadioStation,s__RadioStation)	Communications.kif 294-294	FM radio station is a subclass of radio station
s__subclass(s__ShortwaveRadioStation,s__RadioStation)	Communications.kif 304-304	Shortwave radio station is a subclass of radio station
s__termFormat(s__EnglishLanguage, s__RadioStation, "radio station")	domainEnglishFormat.kif 48535-48535	Shortwave radio station is a subclass of radio station
s__termFormat(s__ChineseTraditionalLanguage, s__RadioStation, "廣播電台")	domainEnglishFormat.kif 48536-48536	Shortwave radio station is a subclass of radio station
s__termFormat(s__ChineseLanguage, s__RadioStation, "广播电台")	domainEnglishFormat.kif 48537-48537	Shortwave radio station is a subclass of radio station

antecedent

! [V__STATION] :
((s__instance(V__STATION,s__RadioStation) =>
     (? [V__SYS] :
       ((s__instance(V__SYS,s__RadioSystem) &
           s__engineeringSubcomponent(V__STATION,V__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

! [V__STATION] :
((s__instance(V__STATION,s__BroadcastingStation) =>
     (s__instance(V__STATION,s__TelevisionStation) |
       s__instance(V__STATION,s__RadioStation)))
   )