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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HardDiskDrive

Sigma KEE - HardDiskDrive
HardDiskDrive(hard disk drive)

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 Hard disk drive is a subclass of computer component
(subclass HardDiskDrive DigitalDataStorageDevice) QoSontology.kif 77-77 Hard disk drive is a subclass of DigitalDataStorageDevice
(subclass HardDiskDrive DiskDrive) ComputerInput.kif 762-762 Hard disk drive is a subclass of DiskDrive

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


(subclass CartridgeHardDiskDrive HardDiskDrive) ComputerInput.kif 756-756 CartridgeHardDiskDrive is a subclass of hard disk drive
(subclass ExternalHardDiskDrive HardDiskDrive) ComputerInput.kif 747-747 ExternalHardDiskDrive is a subclass of hard disk drive
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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