ComputerIODevice
|
|
appearance as argument number 1 |
(documentation ComputerIODevice EnglishLanguage "A ComputerIODevice is both a ComputerInputDevice and a ComputerOutputDevice.") | ComputerInput.kif 120-121 | |
(subclass ComputerIODevice ComputerInputDevice) | ComputerInput.kif 119-119 | ComputerIODevice は ComputerInputDevice の subclass では %n |
(subclass ComputerIODevice ComputerOutputDevice) | ComputerInput.kif 118-118 | ComputerIODevice は ComputerOutputDevice の subclass では %n |
appearance as argument number 2 |
(subclass ComputerTerminal ComputerIODevice) | ComputerInput.kif 123-123 | ComputerTerminal は ComputerIODevice の subclass では %n |
(subclass DiskDrive ComputerIODevice) | ComputerInput.kif 731-731 | DiskDrive は ComputerIODevice の subclass では %n |
(subclass FlashDrive ComputerIODevice) | ComputerInput.kif 794-794 | FlashDrive は ComputerIODevice の subclass では %n |
(subclass GameIODevice ComputerIODevice) | ComputerInput.kif 615-615 | GameIODevice は ComputerIODevice の subclass では %n |
(subclass MemoryCard ComputerIODevice) | ComputerInput.kif 802-802 | MemoryCard は ComputerIODevice の subclass では %n |
(subclass Modem ComputerIODevice) | ComputerInput.kif 562-562 | Modem は ComputerIODevice の subclass では %n |
(termFormat EnglishLanguage ComputerIODevice "computer I/O device") | domainEnglishFormat.kif 64675-64675 |
consequent |
(=> (instance ?MD MountingADevice) (exists (?C ?P) (and (instance ?C Computer) (instance ?P ComputerIODevice) (patient ?MD ?C) (patient ?MD ?P) (holdsDuring (WhenFn ?MD) (connectedEngineeringComponents ?C ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?MD)) (connectedPeripheral ?P ?C))))) |
ComputingBrands.kif 3801-3812 |
|