MountingADevice - Sigma Knowledge base Browser

appearance as argument number 1

(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 3789-3792
(subclass MountingADevice ComputerProcess)	ComputingBrands.kif 3787-3787

appearance as argument number 2

(termFormat EnglishLanguage MountingADevice "mounting")

ComputingBrands.kif 3794-3794

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

ComputingBrands.kif 3796-3807