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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RadioStation
RadioStation

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 RadioStation est un composant de RadioSystem
(externalImage RadioStation "http://upload.wikimedia.org/wikipedia/en/8/ 8a/ 2006AM_broadcast_stations.PNG") pictureList.kif 6808-6808 RadioStation est un composant de RadioSystem
(externalImage RadioStation "http://upload.wikimedia.org/wikipedia/en/e/ ea/ 2006FM_broadcast_stations.PNG") pictureList.kif 7698-7698 RadioStation est un composant de RadioSystem
(subclass RadioStation BroadcastingStation) Communications.kif 287-287 RadioStation est une sous-classe de BroadcastingStation

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


(subclass AMRadioStation RadioStation) Communications.kif 293-293 AMRadioStation est une sous-classe de RadioStation
(subclass FMRadioStation RadioStation) Communications.kif 298-298 FMRadioStation est une sous-classe de RadioStation
(subclass ShortwaveRadioStation RadioStation) Communications.kif 303-303 ShortwaveRadioStation est une sous-classe de RadioStation
(termFormat ChineseLanguage RadioStation "广播电台") domainEnglishFormat.kif 48544-48544 ShortwaveRadioStation est une sous-classe de RadioStation
(termFormat ChineseTraditionalLanguage RadioStation "廣播電台") domainEnglishFormat.kif 48543-48543 ShortwaveRadioStation est une sous-classe de RadioStation
(termFormat EnglishLanguage RadioStation "radio station") domainEnglishFormat.kif 48542-48542 ShortwaveRadioStation est une sous-classe de RadioStation

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


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


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



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