| RadioStation(radio station)
|
| appearance as argument number 1 |
|
| (subclass RadioStation BroadcastingStation) | Communications.kif 292-292 | Radio station is a subclass of broadcasting station |
| (documentation RadioStation EnglishLanguage "A RadioStation is an engineeringSubcomponent of a RadioSystem.") | Communications.kif 300-301 | Radio station is a subclass of broadcasting station |
| (externalImage RadioStation "http://upload.wikimedia.org/wikipedia/en/8/ 8a/ 2006AM_broadcast_stations.PNG") | pictureList.kif 6808-6808 | Radio station is a subclass of broadcasting station |
| (externalImage RadioStation "http://upload.wikimedia.org/wikipedia/en/e/ ea/ 2006FM_broadcast_stations.PNG") | pictureList.kif 7698-7698 | Radio station is a subclass of broadcasting station |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?STATION RadioStation) (exists (?SYS) (and (instance ?SYS RadioSystem) (engineeringSubcomponent ?STATION ?SYS)))) |
Communications.kif 294-299 | If X is an instance of radio station, then there exists Y such that Y is an instance of radio system and X is a component of Y |
| consequent |
|
|
| (=> (instance ?STATION BroadcastingStation) (or (instance ?STATION TelevisionStation) (instance ?STATION RadioStation))) |
Communications.kif 230-234 | If X is an instance of broadcasting station, then X is an instance of television station or X is an instance of radio station |
|
|
|