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 是 电脑输入设备 的 subclass |
(subclass ComputerIODevice ComputerOutputDevice) | ComputerInput.kif 118-118 | ComputerIODevice 是 电脑输出设备 的 subclass |
appearance as argument number 2 |
(subclass ComputerTerminal ComputerIODevice) | ComputerInput.kif 123-123 | 电脑终端 是 ComputerIODevice 的 subclass |
(subclass DiskDrive ComputerIODevice) | ComputerInput.kif 731-731 | DiskDrive 是 ComputerIODevice 的 subclass |
(subclass FlashDrive ComputerIODevice) | ComputerInput.kif 794-794 | FlashDrive 是 ComputerIODevice 的 subclass |
(subclass GameIODevice ComputerIODevice) | ComputerInput.kif 615-615 | GameIODevice 是 ComputerIODevice 的 subclass |
(subclass MemoryCard ComputerIODevice) | ComputerInput.kif 802-802 | MemoryCard 是 ComputerIODevice 的 subclass |
(subclass Modem ComputerIODevice) | ComputerInput.kif 562-562 | Modem 是 ComputerIODevice 的 subclass |
(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 |
|