Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Modem
Modem(modem)modem

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


(documentation Modem EnglishLanguage "Modem is a device used by computers to connect computers to the internet using a telephone line") Hotel.kif 1374-1375
(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 564-568
(subclass Modem ComputerIODevice) ComputerInput.kif 562-562 Modem is a subclass of computer I/O device
(subclass Modem InternetAccessPoint) Hotel.kif 1373-1373 Modem is a subclass of internet access point

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


(subclass CableModem Modem) ComputerInput.kif 570-570 Cable modem is a subclass of modem
(subclass RadioModem Modem) ComputerInput.kif 588-588 Radio modem is a subclass of modem
(termFormat EnglishLanguage Modem "modem") Hotel.kif 1376-1376

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


(=>
    (instance ?X Modem)
    (hasPurpose ?X
        (exists (?ISP ?CONN)
            (and
                (instance ?ISP InternetServiceProvider)
                (connectsEngineeringComponents ?CONN ?X ?ISP)
                (instance ?CONN TelephoneLine)))))
Hotel.kif 1378-1385


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 is open source software produced by Articulate Software and its partners