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 761-761
(subclass DiskDrive ComputerComponent) ComputerInput.kif 758-758 subclass DiskDrive and ComputerComponent
(subclass DiskDrive ComputerIODevice) ComputerInput.kif 759-759 subclass DiskDrive and ComputerIODevice

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


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

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


(domainSubclass diskTypeForDrive 2 DiskDrive) ComputerInput.kif 765-765 domainSubclass diskTypeForDrive, 2 and 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