| BroadcastingStation(电台) | |
| appearance as argument number 1 |
|
|
| (documentation BroadcastingStation EnglishLanguage "A BroadcastingStation is an engineeringSubcomponent of either a TelevisionSystem or a RadioStation.") | Communications.kif 221-223 | |
| (engineeringSubcomponent BroadcastingStation CommunicationSystem) | Communications.kif 220-220 | 电台 是 通讯系统 的 component |
| (subclass BroadcastingStation CommunicationDevice) | Communications.kif 219-219 | 电台 是 通讯设备 的 subclass |
| (subclass BroadcastingStation EngineeringComponent) | Communications.kif 288-288 | 电台 是 工程组件 的 subclass |
| (subclass BroadcastingStation StationaryArtifact) | Communications.kif 218-218 | 电台 是 固定人工制品 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass RadioStation BroadcastingStation) | Communications.kif 287-287 | 广播电台 是 电台 的 subclass |
| (subclass TelevisionStation BroadcastingStation) | Communications.kif 322-322 | 电视台 是 电台 的 subclass |
| (termFormat ChineseLanguage BroadcastingStation "电台") | domainEnglishFormat.kif 12023-12023 | |
| (termFormat ChineseTraditionalLanguage BroadcastingStation "電台") | domainEnglishFormat.kif 12022-12022 | |
| (termFormat EnglishLanguage BroadcastingStation "broadcasting station") | domainEnglishFormat.kif 12021-12021 |
| antecedent |
|
|
| (=> (instance ?STATION BroadcastingStation) (or (instance ?STATION TelevisionStation) (instance ?STATION RadioStation))) |
Communications.kif 225-229 |
| consequent |
|
|
| (=> (instance ?N BroadcastNetwork) (forall (?M) (=> (member ?M ?N) (instance ?M BroadcastingStation)))) |
Communications.kif 362-367 |
|
|
|