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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiskDriveWithRemovableDisks
DiskDriveWithRemovableDisks

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


(documentation DiskDriveWithRemovableDisks EnglishLanguage "A type of DiskDrive that can have different ComputerDisks installed at different times. Insertion and removal of a disk are simple processes.") ComputerInput.kif 753-754
(subclass DiskDriveWithRemovableDisks DiskDrive) ComputerInput.kif 752-752 DiskDriveWithRemovableDisks est une sous-classe de DiskDrive

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


(subclass CartridgeHardDiskDrive DiskDriveWithRemovableDisks) ComputerInput.kif 757-757 CartridgeHardDiskDrive est une sous-classe de DiskDriveWithRemovableDisks
(subclass FloppyDiskDrive DiskDriveWithRemovableDisks) ComputerInput.kif 766-766 FloppyDiskDrive est une sous-classe de DiskDriveWithRemovableDisks
(termFormat EnglishLanguage DiskDriveWithRemovableDisks "disk drive with removable disks") domainEnglishFormat.kif 64771-64771


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