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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 694-696
(subclass HardDisk ComputerDisk) ComputerInput.kif 693-693

appearance as argument number 2

(disjoint FloppyDisk HardDisk) ComputerInput.kif 724-724
(subclass CartridgeHardDisk HardDisk) ComputerInput.kif 716-716
(subclass InternalHardDisk HardDisk) ComputerInput.kif 698-698

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