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 120-121
(subclass ComputerIODevice ComputerInputDevice) ComputerInput.kif 119-119 ComputerIODevice is a subclass of computer input device
(subclass ComputerIODevice ComputerOutputDevice) ComputerInput.kif 118-118 ComputerIODevice is a subclass of computer output device

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


(subclass ComputerTerminal ComputerIODevice) ComputerInput.kif 123-123 Computer terminal is a subclass of ComputerIODevice
(subclass DiskDrive ComputerIODevice) ComputerInput.kif 731-731 DiskDrive is a subclass of ComputerIODevice
(subclass FlashDrive ComputerIODevice) ComputerInput.kif 794-794 FlashDrive is a subclass of ComputerIODevice
(subclass GameIODevice ComputerIODevice) ComputerInput.kif 615-615 GameIODevice is a subclass of ComputerIODevice
(subclass MemoryCard ComputerIODevice) ComputerInput.kif 802-802 MemoryCard is a subclass of ComputerIODevice
(subclass Modem ComputerIODevice) ComputerInput.kif 562-562 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 3764-3775


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