| 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 48587-48587 | |
| (termFormat ChineseTraditionalLanguage RadioSystem "無線電系統") | domainEnglishFormat.kif 48586-48586 | |
| (termFormat EnglishLanguage RadioSystem "radio system") | domainEnglishFormat.kif 48585-48585 |
| 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