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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiskDrive
DiskDrive

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


(documentation DiskDrive EnglishLanguage "A device that can read and (often) write ComputerDisks.") ComputerInput.kif 733-733
(subclass DiskDrive ComputerComponent) ComputerInput.kif 730-730 DiskDrive est une sous-classe de ComputerComponent
(subclass DiskDrive ComputerIODevice) ComputerInput.kif 731-731 DiskDrive est une sous-classe de ComputerIODevice

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


(subclass DiskDriveWithRemovableDisks DiskDrive) ComputerInput.kif 752-752 DiskDriveWithRemovableDisks est une sous-classe de DiskDrive
(subclass ExternalDiskDrive DiskDrive) ComputerInput.kif 742-742 ExternalDiskDrive est une sous-classe de DiskDrive
(subclass HardDiskDrive DiskDrive) ComputerInput.kif 762-762 HardDiskDrive est une sous-classe de DiskDrive
(subclass OpticalDiscDrive DiskDrive) ComputerInput.kif 770-770 OpticalDiscDrive est une sous-classe de DiskDrive
(termFormat EnglishLanguage DiskDrive "disk drive") domainEnglishFormat.kif 64770-64770

appearance as argument number 3
-------------------------


(domainSubclass diskTypeForDrive 2 DiskDrive) ComputerInput.kif 737-737 Le nombre 2 argument de diskTypeForDrive est une sous-classe de DiskDrive


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