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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HardDisk

Sigma KEE - HardDisk
HardDisk

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


(documentation HardDisk EnglishLanguage "A type of ComputerDisk that is hard, rather than floppy. The 3 1/ 2'' floppy disk is considered a type of Floppy disk even though it is hard. Hard disks can be internal to the computer, internal to an external drive, or removable.") ComputerInput.kif 666-668
(subclass HardDisk ComputerDisk) ComputerInput.kif 665-665 HardDiskComputerDisksubclass では %n

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


(disjoint FloppyDisk HardDisk) ComputerInput.kif 696-696 FloppyDiskHardDiskdisjoint では %n
(subclass CartridgeHardDisk HardDisk) ComputerInput.kif 688-688 CartridgeHardDiskHardDisksubclass では %n
(subclass InternalHardDisk HardDisk) ComputerInput.kif 670-670 InternalHardDiskHardDisksubclass では %n
(termFormat EnglishLanguage HardDisk "hard disk") domainEnglishFormat.kif 64967-64967


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