|
|
   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 is a subclass of computer input device |
| (subclass ComputerIODevice ComputerOutputDevice) | ComputerInput.kif 118-118 | ComputerIODevice is a subclass of computer output device |
| appearance as argument number 2 |
|
|
| (subclass ComputerTerminal ComputerIODevice) | ComputerInput.kif 123-123 | Computer terminal is a subclass of ComputerIODevice |
| (subclass DiskDrive ComputerIODevice) | ComputerInput.kif 731-731 | DiskDrive is a subclass of ComputerIODevice |
| (subclass FlashDrive ComputerIODevice) | ComputerInput.kif 794-794 | FlashDrive is a subclass of ComputerIODevice |
| (subclass GameIODevice ComputerIODevice) | ComputerInput.kif 615-615 | GameIODevice is a subclass of ComputerIODevice |
| (subclass MemoryCard ComputerIODevice) | ComputerInput.kif 802-802 | MemoryCard is a subclass of ComputerIODevice |
| (subclass Modem ComputerIODevice) | ComputerInput.kif 562-562 | Modem is a subclass of ComputerIODevice |
| 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 3764-3775 |
|
|
|
|