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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerDisk
ComputerDisk

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


(documentation ComputerDisk EnglishLanguage "A type of DigitalDataStorageDevice that is disk-shaped and is read while being spun in a DiskDrive.") ComputerInput.kif 686-687
(subclass ComputerDisk DigitalDataStorageDevice) ComputerInput.kif 685-685 subclass ComputerDisk and DigitalDataStorageDevice

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


(subclass HardDisk ComputerDisk) ComputerInput.kif 693-693 subclass HardDisk and ComputerDisk
(subclass RemovableDisk ComputerDisk) ComputerInput.kif 710-710 subclass RemovableDisk and ComputerDisk

appearance as argument number 3
-------------------------


(domainSubclass diskTypeForDrive 1 ComputerDisk) ComputerInput.kif 764-764 domainSubclass diskTypeForDrive, 1 and ComputerDisk

antecedent
-------------------------


(=>
    (instance ?DISK ComputerDisk)
    (shape ?DISK DiskShaped))
ComputerInput.kif 689-691


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