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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerDisk

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 658-659
(subclass ComputerDisk DigitalDataStorageDevice) ComputerInput.kif 657-657 ComputerDisk è una sottoclasse di DigitalDataStorageDevice

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


(subclass HardDisk ComputerDisk) ComputerInput.kif 665-665 HardDisk è una sottoclasse di ComputerDisk
(subclass RemovableDisk ComputerDisk) ComputerInput.kif 682-682 RemovableDisk è una sottoclasse di ComputerDisk
(termFormat EnglishLanguage ComputerDisk "computer disk") domainEnglishFormat.kif 64671-64671

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


(domainSubclass diskTypeForDrive 1 ComputerDisk) ComputerInput.kif 736-736 Il numero 1 argomento diskTypeForDrive è una sottoclasse diComputerDisk

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


(=>
    (instance ?DISK ComputerDisk)
    (shape ?DISK DiskShaped))
ComputerInput.kif 661-663


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