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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadioSystem
RadioSystem(radio system)radio_system, 无线电系统, 無線電系統

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 Radio system is a subclass of communication system

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


(engineeringSubcomponent AMRadioStation RadioSystem) Communications.kif 294-294 AM radio station is a component of radio system
(engineeringSubcomponent FMRadioStation RadioSystem) Communications.kif 299-299 FM radio station is a component of radio system
(engineeringSubcomponent RadioStation RadioSystem) Communications.kif 289-289 Radio station is a component of radio system
(engineeringSubcomponent ShortwaveRadioStation RadioSystem) Communications.kif 304-304 Shortwave radio station is a component of radio system
(subclass AMRadioSystem RadioSystem) Communications.kif 236-236 AM radio system is a subclass of radio system
(subclass BabyMonitoringSystem RadioSystem) Communications.kif 251-251 Baby monitor is a subclass of radio system
(subclass FMRadioSystem RadioSystem) Communications.kif 241-241 FM radio system is a subclass of radio system
(subclass ShortwaveRadioSystem RadioSystem) Communications.kif 246-246 Shortwave radio system is a subclass of radio system
(termFormat ChineseLanguage RadioSystem "无线电系统") domainEnglishFormat.kif 48493-48493 "无线电系统" is the printable form of radio system in ChineseLanguage
(termFormat ChineseTraditionalLanguage RadioSystem "無線電系統") domainEnglishFormat.kif 48492-48492 "無線電系統" is the printable form of radio system in ChineseTraditionalLanguage
(termFormat EnglishLanguage RadioSystem "radio system") domainEnglishFormat.kif 48491-48491 "radio system" is the printable form of radio system in english language

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners