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

KB Term:  Term intersection
English Word: 

Sigma KEE - DVDDrive
DVDDrive(DVD drive)

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


(subclass DVDDrive OpticalDiscDrive) ComputerInput.kif 795-795 DVD drive is a subclass of optical disc drive
(documentation DVDDrive EnglishLanguage "A device that can read and (in some cases) write DVDs.") ComputerInput.kif 796-796 DVD drive is a subclass of optical disc drive

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


(diskTypeForDrive DVD DVDDrive) ComputerInput.kif 797-797 DVD drive reads or writes DVD
(termFormat EnglishLanguage DVDDrive "DVD drive") domainEnglishFormat.kif 64739-64739 DVD drive reads or writes DVD


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners