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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadioBroadcasting
RadioBroadcasting

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


(documentation RadioBroadcasting EnglishLanguage "Any instance of Broadcasting which is intended to be received by a RadioReceiver.") Mid-level-ontology.kif 15826-15827
(externalImage RadioBroadcasting "http://upload.wikimedia.org/wikipedia/ commons/ b/ b1/ Fisher_500_radio.jpg") pictureList.kif 8676-8676
(externalImage RadioBroadcasting "http://upload.wikimedia.org/wikipedia/ en/ 0/ 02/ NX1Z_Radio.jpg") pictureList.kif 9582-9582
(subclass RadioBroadcasting Broadcasting) Mid-level-ontology.kif 15825-15825

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


(termFormat ChineseLanguage RadioBroadcasting "无线电广播") domainEnglishFormat.kif 48508-48508
(termFormat ChineseTraditionalLanguage RadioBroadcasting "無線電廣播") domainEnglishFormat.kif 48507-48507
(termFormat EnglishLanguage RadioBroadcasting "radio broadcasting") domainEnglishFormat.kif 48506-48506

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


(=>
    (instance ?RADIO RadioReceiver)
    (capability RadioBroadcasting patient ?RADIO))
Mid-level-ontology.kif 15829-15831


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