| 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 1385-1386 | |
| (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 は ComputerIODevice の subclass では |
| (subclass Modem InternetAccessPoint) | Hotel.kif 1384-1384 | Modem は InternetAccessPoint の subclass では |
| appearance as argument number 2 |
|
|
| (subclass CableModem Modem) | ComputerInput.kif 570-570 | CableModem は Modem の subclass では |
| (subclass RadioModem Modem) | ComputerInput.kif 588-588 | RadioModem は Modem の subclass では |
| (termFormat EnglishLanguage Modem "modem") | Hotel.kif 1387-1387 | RadioModem は Modem の subclass では |
| antecedent |
|
|
| (=> (instance ?X Modem) (hasPurpose ?X (exists (?ISP ?CONN) (and (instance ?ISP InternetServiceProvider) (connectsEngineeringComponents ?CONN ?X ?ISP) (instance ?CONN TelephoneLine))))) |
Hotel.kif 1389-1396 |
|
|
|