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 RadioSystemCommunicationSystemsubclass では %n

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


(engineeringSubcomponent AMRadioStation RadioSystem) Communications.kif 294-294 AMRadioStationRadioSystemcomponent では %n
(engineeringSubcomponent FMRadioStation RadioSystem) Communications.kif 299-299 FMRadioStationRadioSystemcomponent では %n
(engineeringSubcomponent RadioStation RadioSystem) Communications.kif 289-289 RadioStationRadioSystemcomponent では %n
(engineeringSubcomponent ShortwaveRadioStation RadioSystem) Communications.kif 304-304 ShortwaveRadioStationRadioSystemcomponent では %n
(subclass AMRadioSystem RadioSystem) Communications.kif 236-236 AMRadioSystemRadioSystemsubclass では %n
(subclass BabyMonitoringSystem RadioSystem) Communications.kif 251-251 BabyMonitoringSystemRadioSystemsubclass では %n
(subclass FMRadioSystem RadioSystem) Communications.kif 241-241 FMRadioSystemRadioSystemsubclass では %n
(subclass ShortwaveRadioSystem RadioSystem) Communications.kif 246-246 ShortwaveRadioSystemRadioSystemsubclass では %n
(termFormat ChineseLanguage RadioSystem "无线电系统") domainEnglishFormat.kif 48554-48554
(termFormat ChineseTraditionalLanguage RadioSystem "無線電系統") domainEnglishFormat.kif 48553-48553
(termFormat EnglishLanguage RadioSystem "radio system") domainEnglishFormat.kif 48552-48552

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