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 665-665 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 666-668 Hard disk is a subclass of computer disk

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


(subclass InternalHardDisk HardDisk) ComputerInput.kif 670-670 Internal hard disk is a subclass of hard disk
(subclass CartridgeHardDisk HardDisk) ComputerInput.kif 688-688 Cartridge hard disk is a subclass of hard disk
(disjoint FloppyDisk HardDisk) ComputerInput.kif 696-696 Floppy disk is disjoint from hard disk
(termFormat EnglishLanguage HardDisk "hard disk") domainEnglishFormat.kif 64952-64952 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 is open source software produced by Articulate Software and its partners