| CableTelevisionSystem | |
| appearance as argument number 1 |
|
|
| (documentation CableTelevisionSystem EnglishLanguage "A CableTelevisionSystem is a CommunicationSystem for cable television.") | Communications.kif 334-335 | |
| (subclass CableTelevisionSystem CommunicationSystem) | Communications.kif 333-333 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CableTelevisionSystem "有线电视系统") | domainEnglishFormat.kif 12618-12618 | |
| (termFormat ChineseTraditionalLanguage CableTelevisionSystem "有線電視系統") | domainEnglishFormat.kif 12617-12617 | |
| (termFormat EnglishLanguage CableTelevisionSystem "cable television system") | domainEnglishFormat.kif 12616-12616 |
| antecedent |
|
|
| (=> (instance ?SYSTEM CableTelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 337-342 |
|
|
|