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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadioSystem

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 RadioSystem est une sous-classe de CommunicationSystem

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


(engineeringSubcomponent AMRadioStation RadioSystem) Communications.kif 294-294 AMRadioStation est un composant de RadioSystem
(engineeringSubcomponent FMRadioStation RadioSystem) Communications.kif 299-299 FMRadioStation est un composant de RadioSystem
(engineeringSubcomponent RadioStation RadioSystem) Communications.kif 289-289 RadioStation est un composant de RadioSystem
(engineeringSubcomponent ShortwaveRadioStation RadioSystem) Communications.kif 304-304 ShortwaveRadioStation est un composant de RadioSystem
(subclass AMRadioSystem RadioSystem) Communications.kif 236-236 AMRadioSystem est une sous-classe de RadioSystem
(subclass BabyMonitoringSystem RadioSystem) Communications.kif 251-251 BabyMonitoringSystem est une sous-classe de RadioSystem
(subclass FMRadioSystem RadioSystem) Communications.kif 241-241 FMRadioSystem est une sous-classe de RadioSystem
(subclass ShortwaveRadioSystem RadioSystem) Communications.kif 246-246 ShortwaveRadioSystem est une sous-classe de RadioSystem
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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