Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MountingADevice
MountingADevice

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 3772-3775
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3770-3770

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MountingADevice "mounting") ComputingBrands.kif 3777-3777

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 3779-3790


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners