CableModem - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CableModem EnglishLanguage "A type of Modem that provides bi-directional data communication via radio frequency channels on a fiberoptic cable. Cable modems are primarily used to deliver broadband Internet access in the form of cable Internet.")	ComputerInput.kif 572-575
(subclass CableModem Modem)	ComputerInput.kif 570-570	Cable modem is a subclass of modem

appearance as argument number 2

(disjoint RadioModem CableModem)	ComputerInput.kif 594-594	Radio modem is disjoint from cable modem
(termFormat EnglishLanguage CableModem "cable modem")	domainEnglishFormat.kif 64633-64633	Radio modem is disjoint from cable modem

antecedent

(=>
    (and
        (instance ?MODEM CableModem)
        (instance ?COMM Communication)
        (instrument ?COMM ?MODEM))
    (exists (?CABLE)
        (and
            (instance ?CABLE Cable)
            (instrument ?COMM ?CABLE)
            (connectedEngineeringComponents ?CABLE ?MODEM))))

ComputerInput.kif 577-586