![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation CableModem EnglishLanguage "A type of Modem that provides bi-directional data communication via radio frequency channels on a fiberoptic cable. Cable modems are primarily used to deliver broadband Internet access in the form of cable Internet.") | ComputerInput.kif 572-575 | |
(subclass CableModem Modem) | ComputerInput.kif 570-570 | CableModem est une sous-classe de Modem |
appearance as argument number 2 |
![]() |
(disjoint RadioModem CableModem) | ComputerInput.kif 594-594 | RadioModem est disjoint de CableModem |
(termFormat EnglishLanguage CableModem "cable modem") | domainEnglishFormat.kif 64597-64597 |
antecedent |
![]() |
(=> (and (instance ?MODEM CableModem) (instance ?COMM Communication) (instrument ?COMM ?MODEM)) (exists (?CABLE) (and (instance ?CABLE Cable) (instrument ?COMM ?CABLE) (connectedEngineeringComponents ?CABLE ?MODEM)))) |
ComputerInput.kif 577-586 |
|
![]() |
![]() |