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


KB Term:  Term intersection
English Word: 

  Modem

 Sigma KEE - Modem
Modem(modem)modem

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


(subclass Modem ComputerIODevice) ComputerInput.kif 578-578 Modem is a subclass of computer I/O device
(documentation Modem EnglishLanguage "A type of ComputerIODevice and ComputerPeripheralDevice. Each Modem is a device designed to facilitate communication between computers by modulating analog signals to encode digital information, and demodulating analog signals to decode information back into digital format.") ComputerInput.kif 580-584 Modem is a subclass of computer I/O device
(subclass Modem InternetAccessPoint) Hotel.kif 1384-1384 Modem is a subclass of internet access point
(documentation Modem EnglishLanguage "Modem is a device used by computers to connect computers to the internet using a telephone line") Hotel.kif 1385-1386 Modem is a subclass of internet access point
(defaultMinimumHeight Modem
    (MeasureFn 1 Inch))		 DimensioningAmenities.kif 423-423 The minimum expected height of modem is 1 inch(s)
(defaultMaximumHeight Modem
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 424-424 The maximum expected height of modem is 2 inch(s)
(defaultMinimumWidth Modem
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 425-425 The minimum expected width of modem is 4 inch(s)
(defaultMaximumWidth Modem
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 426-426 The maximum expected width of modem is 6 inch(s)
(defaultMinimumLength Modem
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 427-427 The minimum expected length of modem is 5 inch(s)
(defaultMaximumLength Modem
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 428-428 The maximum expected length of modem is 7 inch(s)
(defaultMinimumMeasure Modem
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 429-429 The minimum expected value of modem is 1 pound mass(s)
(defaultMaximumMeasure Modem
    (MeasureFn 4 PoundMass))		 DimensioningAmenities.kif 430-430 The maximum expected value of modem is 4 pound mass(s)

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


(subclass CableModem Modem) ComputerInput.kif 586-586 Cable modem is a subclass of modem
(subclass RadioModem Modem) ComputerInput.kif 604-604 Radio modem is a subclass of modem
(termFormat EnglishLanguage Modem "modem") Hotel.kif 1387-1387 Radio modem is a subclass of modem

antecedent
-------------------------


(=>
    (instance ?X Modem)
    (hasPurpose ?X
        (exists (?ISP ?CONN)
            (and
                (instance ?ISP InternetServiceProvider)
                (connectsEngineeringComponents ?CONN ?X ?ISP)
                (instance ?CONN TelephoneLine)))))		 Hotel.kif 1389-1396 If X is an instance of modem, then X has the purpose there exist Y, Z such that Y is an instance of internet service provider, Z connects X, Y, and Z is an instance of telephone line


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