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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HardDiskDrive
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

antecedent
-------------------------


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

consequent
-------------------------


(=>
    (instance ?DISK InternalHardDisk)
    (exists (?DRIVE)
        (and
            (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