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


KB Term:  Term intersection
English Word: 

Sigma KEE - HardDisk
HardDisk(hard disk)fixed_disk, hard_disc, hard_disk

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


(subclass HardDisk ComputerDisk) ComputerInput.kif 681-681 Hard disk is a subclass of computer disk
(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 682-684 Hard disk is a subclass of computer disk

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


(subclass InternalHardDisk HardDisk) ComputerInput.kif 686-686 Internal hard disk is a subclass of hard disk
(subclass CartridgeHardDisk HardDisk) ComputerInput.kif 704-704 Cartridge hard disk is a subclass of hard disk
(disjoint FloppyDisk HardDisk) ComputerInput.kif 712-712 Floppy disk is disjoint from hard disk
(termFormat EnglishLanguage HardDisk "hard disk") domainEnglishFormat.kif 64968-64968 Floppy disk is disjoint from hard disk


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.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners