TelevisionStation
|
|
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 | |
(subclass TelevisionStation BroadcastingStation) | Communications.kif 322-322 |
appearance as argument number 2 |
(termFormat ChineseLanguage TelevisionStation "电视台") | domainEnglishFormat.kif 57358-57358 | |
(termFormat ChineseTraditionalLanguage TelevisionStation "電視台") | domainEnglishFormat.kif 57357-57357 | |
(termFormat EnglishLanguage TelevisionStation "television station") | domainEnglishFormat.kif 57356-57356 |
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 |