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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HardDiskDrive

appearance as argument number 1

(documentation HardDiskDrive EnglishLanguage "The primary computer storage medium, which is made of one or more aluminum or glass platters, coated with a ferromagnetic material. Most hard disks are fixed disks, which are permanently sealed in the drive.") QoSontology.kif 78-81
(subclass HardDiskDrive ComputerComponent) QoSontology.kif 76-76 硬盘驱动器电脑组件subclass
(subclass HardDiskDrive DigitalDataStorageDevice) QoSontology.kif 77-77 硬盘驱动器DigitalDataStorageDevicesubclass
(subclass HardDiskDrive DiskDrive) ComputerInput.kif 762-762 硬盘驱动器DiskDrivesubclass

appearance as argument number 2

(subclass CartridgeHardDiskDrive HardDiskDrive) ComputerInput.kif 756-756 CartridgeHardDiskDrive硬盘驱动器subclass
(subclass ExternalHardDiskDrive HardDiskDrive) ComputerInput.kif 747-747 ExternalHardDiskDrive硬盘驱动器subclass
(termFormat ChineseLanguage HardDiskDrive "硬盘驱动器") domainEnglishFormat.kif 27411-27411
(termFormat ChineseTraditionalLanguage HardDiskDrive "硬盤驅動器") domainEnglishFormat.kif 27410-27410
(termFormat EnglishLanguage HardDiskDrive "hard disk drive") domainEnglishFormat.kif 27409-27409


    (instance ?HardDrive HardDiskDrive)
    (unitMeasuringPerformance ?HardDrive BitsPerSecond))
QoSontology.kif 845-847


    (instance ?DISK InternalHardDisk)
    (exists (?DRIVE)
            (instance ?DRIVE HardDiskDrive)
            (component ?DISK ?DRIVE))))
ComputerInput.kif 675-680

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