Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadioStation

Sigma KEE - RadioStation
RadioStation(radio station)
radio_station

appearance as argument number 1
-------------------------


(documentation RadioStation EnglishLanguage "A RadioStation is an engineeringSubcomponent of a RadioSystem.") Communications.kif 290-291
(engineeringSubcomponent RadioStation RadioSystem) Communications.kif 289-289 Radio station is a component of radio system
(externalImage RadioStation "http://upload.wikimedia.org/wikipedia/en/8/ 8a/ 2006AM_broadcast_stations.PNG") pictureList.kif 6810-6810
(externalImage RadioStation "http://upload.wikimedia.org/wikipedia/en/e/ ea/ 2006FM_broadcast_stations.PNG") pictureList.kif 7701-7701
(subclass RadioStation BroadcastingStation) Communications.kif 287-287 Radio station is a subclass of broadcasting station

appearance as argument number 2
-------------------------


(subclass AMRadioStation RadioStation) Communications.kif 293-293 AM radio station is a subclass of radio station
(subclass FMRadioStation RadioStation) Communications.kif 298-298 FM radio station is a subclass of radio station
(subclass ShortwaveRadioStation RadioStation) Communications.kif 303-303 Shortwave radio station is a subclass of radio station
(termFormat ChineseLanguage RadioStation "广播电台") domainEnglishFormat.kif 48470-48470
(termFormat ChineseTraditionalLanguage RadioStation "廣播電台") domainEnglishFormat.kif 48469-48469
(termFormat EnglishLanguage RadioStation "radio station") domainEnglishFormat.kif 48468-48468

consequent
-------------------------


(=>
    (instance ?STATION BroadcastingStation)
    (or
        (instance ?STATION TelevisionStation)
        (instance ?STATION RadioStation)))
Communications.kif 225-229


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners