| 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 | 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 1378-1385 |
|
|
|
|