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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerIODevice

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 subclass ComputerIODevice and ComputerInputDevice
(subclass ComputerIODevice ComputerOutputDevice) ComputerInput.kif 140-140 subclass ComputerIODevice and ComputerOutputDevice

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


(subclass ComputerTerminal ComputerIODevice) ComputerInput.kif 145-145 subclass ComputerTerminal and ComputerIODevice
(subclass DiskDrive ComputerIODevice) ComputerInput.kif 759-759 subclass DiskDrive and ComputerIODevice
(subclass FlashDrive ComputerIODevice) ComputerInput.kif 823-823 subclass FlashDrive and ComputerIODevice
(subclass GameIODevice ComputerIODevice) ComputerInput.kif 643-643 subclass GameIODevice and ComputerIODevice
(subclass MemoryCard ComputerIODevice) ComputerInput.kif 831-831 subclass MemoryCard and ComputerIODevice
(subclass Modem ComputerIODevice) ComputerInput.kif 590-590 subclass Modem and 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 3774-3785


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners