| 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 57398-57398 | |
| (termFormat ChineseTraditionalLanguage TelevisionStation "電視台") | domainEnglishFormat.kif 57397-57397 | |
| (termFormat EnglishLanguage TelevisionStation "television station") | domainEnglishFormat.kif 57396-57396 |
| 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 |
|
|
|
|