ComputerIODevice - Sigma Knowledge base Browser

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 and 電腦輸入設備
(subclass ComputerIODevice ComputerOutputDevice)	ComputerInput.kif 118-118	子類 ComputerIODevice and 電腦輸出設備

appearance as argument number 2

(subclass ComputerTerminal ComputerIODevice)	ComputerInput.kif 123-123	子類電腦終端 and ComputerIODevice
(subclass DiskDrive ComputerIODevice)	ComputerInput.kif 731-731	子類 DiskDrive and ComputerIODevice
(subclass FlashDrive ComputerIODevice)	ComputerInput.kif 794-794	子類 FlashDrive and ComputerIODevice
(subclass GameIODevice ComputerIODevice)	ComputerInput.kif 615-615	子類 GameIODevice and ComputerIODevice
(subclass MemoryCard ComputerIODevice)	ComputerInput.kif 802-802	子類 MemoryCard and ComputerIODevice
(subclass Modem ComputerIODevice)	ComputerInput.kif 562-562	子類 Modem and ComputerIODevice
(termFormat EnglishLanguage ComputerIODevice "computer I/O device")	domainEnglishFormat.kif 64673-64673

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