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


KB Term:  Term intersection
English Word: 

  CableModem

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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