![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FMRadioSystem(FM radio system) |
| appearance as argument number 1 |
|
|
| (subclass FMRadioSystem RadioSystem) | Communications.kif 227-227 | FM radio system is a subclass of radio system |
| (documentation FMRadioSystem EnglishLanguage "A FMRadioSystem consists of Radios, FMRadioStations, and other components that work together to make FM radio broadcasting possible in a given area.") | Communications.kif 228-230 | FM radio system is a subclass of radio system |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?STATION FMRadioStation) (exists (?SYS) (and (instance ?SYS FMRadioSystem) (engineeringSubcomponent ?STATION ?SYS)))) |
Communications.kif 295-300 | If X is an instance of FM radio station, then there exists Y such that Y is an instance of FM radio system and X is a component of Y |