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


KB Term:  Term intersection
English Word: 

Sigma KEE - DiskDrive
DiskDrive(disk drive)

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


(subclass DiskDrive ComputerComponent) ComputerInput.kif 730-730 Disk drive is a subclass of computer component
(subclass DiskDrive ComputerIODevice) ComputerInput.kif 731-731 Disk drive is a subclass of computer I/O device
(documentation DiskDrive EnglishLanguage "A device that can read and (often) write ComputerDisks.") ComputerInput.kif 733-733 Disk drive is a subclass of computer I/O device

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


(subclass ExternalDiskDrive DiskDrive) ComputerInput.kif 742-742 External disk drive is a subclass of disk drive
(subclass DiskDriveWithRemovableDisks DiskDrive) ComputerInput.kif 752-752 Disk drive with removable disks is a subclass of disk drive
(subclass HardDiskDrive DiskDrive) ComputerInput.kif 762-762 Hard disk drive is a subclass of disk drive
(subclass OpticalDiscDrive DiskDrive) ComputerInput.kif 770-770 Optical disc drive is a subclass of disk drive
(termFormat EnglishLanguage DiskDrive "disk drive") domainEnglishFormat.kif 64773-64773 Optical disc drive is a subclass of disk drive

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


(domainSubclass diskTypeForDrive 2 DiskDrive) ComputerInput.kif 737-737 The number 2 argument of disk type for drive is a subclass of disk drive


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