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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - DiskDrive

appearance as argument number 1

(documentation DiskDrive EnglishLanguage "A device that can read and (often) write ComputerDisks.") ComputerInput.kif 761-761
(subclass DiskDrive ComputerComponent) ComputerInput.kif 758-758
(subclass DiskDrive ComputerIODevice) ComputerInput.kif 759-759

appearance as argument number 2

(subclass DiskDriveWithRemovableDisks DiskDrive) ComputerInput.kif 781-781
(subclass ExternalDiskDrive DiskDrive) ComputerInput.kif 770-770
(subclass HardDiskDrive DiskDrive) ComputerInput.kif 791-791
(subclass OpticalDiscDrive DiskDrive) ComputerInput.kif 799-799

appearance as argument number 3

(domainSubclass diskTypeForDrive 2 DiskDrive) ComputerInput.kif 765-765

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