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 ist eine teilkategorie von ComputerInputDevice |
(subclass ComputerIODevice ComputerOutputDevice) | ComputerInput.kif 118-118 | ComputerIODevice ist eine teilkategorie von ComputerOutputDevice |
appearance as argument number 2 |
(subclass ComputerTerminal ComputerIODevice) | ComputerInput.kif 123-123 | ComputerTerminal ist eine teilkategorie von ComputerIODevice |
(subclass DiskDrive ComputerIODevice) | ComputerInput.kif 731-731 | DiskDrive ist eine teilkategorie von ComputerIODevice |
(subclass FlashDrive ComputerIODevice) | ComputerInput.kif 794-794 | FlashDrive ist eine teilkategorie von ComputerIODevice |
(subclass GameIODevice ComputerIODevice) | ComputerInput.kif 615-615 | GameIODevice ist eine teilkategorie von ComputerIODevice |
(subclass MemoryCard ComputerIODevice) | ComputerInput.kif 802-802 | MemoryCard ist eine teilkategorie von ComputerIODevice |
(subclass Modem ComputerIODevice) | ComputerInput.kif 562-562 | Modem ist eine teilkategorie von ComputerIODevice |
(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 |
|