Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ShortwaveRadioStation(shortwave radio station)
|
| appearance as argument number 1 |
|
| (subclass ShortwaveRadioStation RadioStation) | Communications.kif 304-304 | Shortwave radio station is a subclass of radio station |
| (documentation ShortwaveRadioStation EnglishLanguage "A ShortwaveRadioStation is an engineeringSubcomponent of a ShortwaveRadioSystem.") | Communications.kif 311-312 | Shortwave radio station is a subclass of radio station |
| (externalImage ShortwaveRadioStation "http://upload.wikimedia.org/wikipedia/ commons/ a/ aa/ Shortwave_Radio.jpg") | pictureList.kif 8710-8710 | Shortwave radio station is a subclass of radio station |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|