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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerIODevice
ComputerIODevice

appearance as argument number 1
-------------------------


(documentation ComputerIODevice EnglishLanguage "A ComputerIODevice is both a ComputerInputDevice and a ComputerOutputDevice.") ComputerInput.kif 142-143
(subclass ComputerIODevice ComputerInputDevice) ComputerInput.kif 141-141 ComputerIODevice is a subclass of computer input device
(subclass ComputerIODevice ComputerOutputDevice) ComputerInput.kif 140-140 ComputerIODevice is a subclass of computer output device

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


(subclass ComputerTerminal ComputerIODevice) ComputerInput.kif 145-145 Computer terminal is a subclass of ComputerIODevice
(subclass DiskDrive ComputerIODevice) ComputerInput.kif 759-759 DiskDrive is a subclass of ComputerIODevice
(subclass FlashDrive ComputerIODevice) ComputerInput.kif 823-823 FlashDrive is a subclass of ComputerIODevice
(subclass GameIODevice ComputerIODevice) ComputerInput.kif 643-643 GameIODevice is a subclass of ComputerIODevice
(subclass MemoryCard ComputerIODevice) ComputerInput.kif 831-831 MemoryCard is a subclass of ComputerIODevice
(subclass Modem ComputerIODevice) ComputerInput.kif 590-590 Modem is a subclass of ComputerIODevice

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