| 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 1325-1326 | |
| (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 592-596 | |
| (subclass Modem ComputerIODevice) | ComputerInput.kif 590-590 | subclass Modem and ComputerIODevice |
| (subclass Modem InternetAccessPoint) | Hotel.kif 1324-1324 | subclass Modem and InternetAccessPoint |
| appearance as argument number 2 |
|
|
| (subclass CableModem Modem) | ComputerInput.kif 598-598 | subclass CableModem and Modem |
| (subclass RadioModem Modem) | ComputerInput.kif 616-616 | subclass RadioModem and Modem |
| (termFormat EnglishLanguage Modem "modem") | Hotel.kif 1327-1327 |
| antecedent |
|
|
| (=> (instance ?X Modem) (hasPurpose ?X (exists (?ISP ?CONN) (and (instance ?ISP InternetServiceProvider) (connectsEngineeringComponents ?CONN ?X ?ISP) (instance ?CONN TelephoneLine))))) |
Hotel.kif 1329-1336 |
|
|
|