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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadioSystem
RadioSystem

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


(documentation RadioSystem EnglishLanguage "A RadioSystem consists of Radios, RadioStations, and other components that work together to make radio broadcasting possible in a given area.") Communications.kif 232-234
(subclass RadioSystem CommunicationSystem) Communications.kif 231-231

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


(engineeringSubcomponent AMRadioStation RadioSystem) Communications.kif 294-294
(engineeringSubcomponent FMRadioStation RadioSystem) Communications.kif 299-299
(engineeringSubcomponent RadioStation RadioSystem) Communications.kif 289-289
(engineeringSubcomponent ShortwaveRadioStation RadioSystem) Communications.kif 304-304
(subclass AMRadioSystem RadioSystem) Communications.kif 236-236
(subclass BabyMonitoringSystem RadioSystem) Communications.kif 251-251
(subclass FMRadioSystem RadioSystem) Communications.kif 241-241
(subclass ShortwaveRadioSystem RadioSystem) Communications.kif 246-246
(termFormat ChineseLanguage RadioSystem "无线电系统") domainEnglishFormat.kif 48536-48536
(termFormat ChineseTraditionalLanguage RadioSystem "無線電系統") domainEnglishFormat.kif 48535-48535
(termFormat EnglishLanguage RadioSystem "radio system") domainEnglishFormat.kif 48534-48534

antecedent
-------------------------


(=>
    (instance ?SYSTEM RadioSystem)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE RadioReceiver)
            (engineeringSubcomponent ?DEVICE ?SYSTEM))))
Communications.kif 310-315


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