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 120-121
(subclass ComputerIODevice ComputerInputDevice) ComputerInput.kif 119-119 ComputerIODevice est une sous-classe de ComputerInputDevice
(subclass ComputerIODevice ComputerOutputDevice) ComputerInput.kif 118-118 ComputerIODevice est une sous-classe de ComputerOutputDevice

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


(subclass ComputerTerminal ComputerIODevice) ComputerInput.kif 123-123 ComputerTerminal est une sous-classe de ComputerIODevice
(subclass DiskDrive ComputerIODevice) ComputerInput.kif 731-731 DiskDrive est une sous-classe de ComputerIODevice
(subclass FlashDrive ComputerIODevice) ComputerInput.kif 794-794 FlashDrive est une sous-classe de ComputerIODevice
(subclass GameIODevice ComputerIODevice) ComputerInput.kif 615-615 GameIODevice est une sous-classe de ComputerIODevice
(subclass MemoryCard ComputerIODevice) ComputerInput.kif 802-802 MemoryCard est une sous-classe de ComputerIODevice
(subclass Modem ComputerIODevice) ComputerInput.kif 562-562 Modem est une sous-classe de ComputerIODevice
(termFormat EnglishLanguage ComputerIODevice "computer I/O device") domainEnglishFormat.kif 64673-64673

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


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 3.0 is open source software produced by Articulate Software and its partners