MountingADevice - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MountingADevice ComputerProcess)	ComputingBrands.kif 3698-3698	Mounting is a subclass of computer process
(documentation MountingADevice EnglishLanguage "The ComputerProcess whereby a Computer sets up a peripheral, getting any required information about its presence and characteristics and setting up any data structures that are required before its actual and intended use.")	ComputingBrands.kif 3700-3703	Mounting is a subclass of computer process

appearance as argument number 2

(termFormat EnglishLanguage MountingADevice "mounting")

antecedent

(=>
    (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