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
-------------------------


(classIntersection HardDiskDrive ExternalDiskDrive ExternalHardDiskDrive) ComputerInput.kif 777-777
(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 HardDiskDrive DigitalDataStorageDevice) QoSontology.kif 77-77
(subclass HardDiskDrive DiskDrive) ComputerInput.kif 791-791

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


(subclass CartridgeHardDiskDrive HardDiskDrive) ComputerInput.kif 785-785
(subclass ExternalHardDiskDrive HardDiskDrive) ComputerInput.kif 775-775
(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 703-708


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