| CableTelevisionSystem(cable television system) | | cable, cable_system, cable_television, cable_television_service |
| 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 | Cable television system is a subclass of communication system |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CableTelevisionSystem "有线电视系统") | domainEnglishFormat.kif 12623-12623 | |
| (termFormat ChineseTraditionalLanguage CableTelevisionSystem "有線電視系統") | domainEnglishFormat.kif 12622-12622 | |
| (termFormat EnglishLanguage CableTelevisionSystem "cable television system") | domainEnglishFormat.kif 12621-12621 |
| antecedent |
|
|
| (=> (instance ?SYSTEM CableTelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 337-342 |
|
|
|
|