Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ShortwaveRadioSystem(shortwave radio system) |
| appearance as argument number 1 |
|
| (subclass ShortwaveRadioSystem RadioSystem) | Communications.kif 232-232 | Shortwave radio system is a subclass of radio system |
| (documentation ShortwaveRadioSystem EnglishLanguage "A ShortwaveRadioSystem consists of Radios, ShortwaveRadioStations, and other components that work together to make shortwave radio broadcasting possible in a given area.") | Communications.kif 233-235 | Shortwave radio system is a subclass of radio system |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?STATION ShortwaveRadioStation) (exists (?SYS) (and (instance ?SYS ShortwaveRadioSystem) (engineeringSubcomponent ?STATION ?SYS)))) |
Communications.kif 305-310 | If X is an instance of shortwave radio station, then there exists Y such that Y is an instance of shortwave radio system and X is a component of Y |
|