ComputerIODevice - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ComputerIODevice ComputerOutputDevice)	ComputerInput.kif 118-118	Computer I/O device is a subclass of computer output device
(subclass ComputerIODevice ComputerInputDevice)	ComputerInput.kif 119-119	Computer I/O device is a subclass of computer input device
(documentation ComputerIODevice EnglishLanguage "A ComputerIODevice is both a ComputerInputDevice and a ComputerOutputDevice.")	ComputerInput.kif 120-121	Computer I/O device is a subclass of computer input device

appearance as argument number 2

(subclass ComputerTerminal ComputerIODevice)	ComputerInput.kif 123-123	Computer terminal is a subclass of computer I/O device
(subclass Modem ComputerIODevice)	ComputerInput.kif 578-578	Modem is a subclass of computer I/O device
(subclass GameIODevice ComputerIODevice)	ComputerInput.kif 631-631	Game I/O device is a subclass of computer I/O device
(subclass DiskDrive ComputerIODevice)	ComputerInput.kif 747-747	Disk drive is a subclass of computer I/O device
(subclass FlashDrive ComputerIODevice)	ComputerInput.kif 810-810	Flash drive is a subclass of computer I/O device
(subclass MemoryCard ComputerIODevice)	ComputerInput.kif 818-818	Memory card is a subclass of computer I/O device
(termFormat EnglishLanguage ComputerIODevice "computer I/O device")	domainEnglishFormat.kif 64676-64676	Memory card is a subclass of computer I/O device

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)))))

If X is an instance of mounting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of computer (3) Z is an instance of computer I/O device (4) Y is a patient of X (5) Z is a patient of X (6) Y is connected to Z holds during the time of existence of X (7) Z is a connected peripheral of Y holds during immediately after the time of existence of X