| TelevisionStation(television station) | | TV_station, television, television_station, television_system, television_transmitter |
| appearance as argument number 1 |
|
|
| (documentation TelevisionStation EnglishLanguage "A TelevisionStation is an engineeringSubcomponent of a TelevisionSystem.") | Communications.kif 324-325 | |
| (engineeringSubcomponent TelevisionStation TelevisionSystem) | Communications.kif 323-323 | Television station is a component of television system |
| (subclass TelevisionStation BroadcastingStation) | Communications.kif 322-322 | Television station is a subclass of broadcasting station |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TelevisionStation "电视台") | domainEnglishFormat.kif 57393-57393 | |
| (termFormat ChineseTraditionalLanguage TelevisionStation "電視台") | domainEnglishFormat.kif 57392-57392 | |
| (termFormat EnglishLanguage TelevisionStation "television station") | domainEnglishFormat.kif 57391-57391 |
| consequent |
|
|
| (=> (instance ?STATION BroadcastingStation) (or (instance ?STATION TelevisionStation) (instance ?STATION RadioStation))) |
Communications.kif 225-229 |
|
| (=> (instance ?SYSTEM TelevisionSystem) (exists (?STATION) (and (instance ?STATION TelevisionStation) (engineeringSubcomponent ?STATION ?SYSTEM)))) |
Communications.kif 326-331 |
|
|
|
|