Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CableModem
CableModem(cable modem)

appearance as argument number 1
-------------------------


(subclass CableModem Modem) ComputerInput.kif 586-586 Cable modem is a subclass of modem
(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 588-591 Cable modem is a subclass of modem
(subclass CableModem HomeOfficeAppliance) HouseholdAppliances.kif 541-541 Cable modem is a subclass of home office appliance
(subclass CableModem CommunicationDevice) HouseholdAppliances.kif 542-542 Cable modem is a subclass of communication device
(subclass CableModem ElectricDevice) HouseholdAppliances.kif 543-543 Cable modem is a subclass of electric device
(documentation CableModem EnglishLanguage "A CommunicationDevice capable of bidirectional data transmission over a WireLine that was designed to be a TelephoneLine.") HouseholdAppliances.kif 544-546 Cable modem is a subclass of electric device

appearance as argument number 2
-------------------------


(disjoint RadioModem CableModem) ComputerInput.kif 610-610 Radio modem is disjoint from cable modem
(termFormat EnglishLanguage CableModem "modem") HouseholdAppliances.kif 547-547 Radio modem is disjoint from cable modem
(subclass RouterWithModem CableModem) HouseholdAppliances.kif 568-568 Router with modem is a subclass of cable modem
(termFormat EnglishLanguage CableModem "cable modem") domainEnglishFormat.kif 64588-64588 Router with modem is a subclass of 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 593-602 If X is an instance of cable modem, Y is an instance of communication, and X is an instrument for Y, then there exists Z such that Z is an instance of cable, Z is an instrument for Y, and Z is connected to X
(=>
    (instance ?DEVICE CableModem)
    (hasPurpose ?DEVICE
        (exists (?SIGNAL ?LINE)
            (and
                (instance ?SIGNAL ElectricalSignalling)
                (instance ?LINE TelephoneLine)
                (agent ?SIGNAL ?DEVICE)
                (instrument ?SIGNAL ?LINE)))))		 HouseholdAppliances.kif 549-557 If X is an instance of cable modem, then X has the purpose there exist Y, Z such that Y is an instance of electrical signalling, Z is an instance of telephone line, X is an agent of Y, and Z is an instrument for Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners