OpticalDisc - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - OpticalDisc

OpticalDisc

optical_disc, optical_disk

appearance as argument number 1

(diskTypeForDrive OpticalDisc OpticalDiscDrive)	ComputerInput.kif 773-773	diskTypeForDrive OpticalDisc and OpticalDiscDrive
(documentation OpticalDisc EnglishLanguage "This Class comprises several subclasses of disc-shaped data storage devices. Unless otherwise indicated, instances of all of these classes are generally consist of plastic discs incorporating one or more reflective layers of gold or aluminum, which is pitted by a laser to encode data.")	Media.kif 1129-1133	diskTypeForDrive OpticalDisc and OpticalDiscDrive
(subclass OpticalDisc DigitalDataStorageDevice)	Media.kif 1128-1128	OpticalDisc is a subclass of DigitalDataStorageDevice

appearance as argument number 2

(subclass BluRayDisc OpticalDisc)	Media.kif 1189-1189	BluRayDisc is a subclass of OpticalDisc
(subclass CompactDisc OpticalDisc)	Media.kif 1154-1154	CompactDisc is a subclass of OpticalDisc
(subclass DVD OpticalDisc)	Media.kif 1257-1257	DVD is a subclass of OpticalDisc
(termFormat EnglishLanguage OpticalDisc "optical disc")	domainEnglishFormat.kif 65263-65263	DVD is a subclass of OpticalDisc

antecedent

(=> (and (instance ?X OpticalDisc) (attribute ?X MiniSizeDisc)) (width ?X (MeasureFn 80 Millimeter)))	Media.kif 1245-1250	If an object is an instance of OpticalDisc and MiniSizeDisc is an attribute of the object, then the width of the object is 80 Millimeter(s)
(=> (and (instance ?X OpticalDisc) (attribute ?X StandardSizeDisc)) (width ?X (MeasureFn 120 Millimeter)))	Media.kif 1232-1237	If an object is an instance of OpticalDisc and StandardSizeDisc is an attribute of the object, then the width of the object is 120 Millimeter(s)
(=> (instance ?OBJ OpticalDisc) (material Plastic ?OBJ))	Media.kif 1139-1141	If a corpuscular object is an instance of OpticalDisc, then the corpuscular object is made of Plastic
(=> (instance ?OBJ OpticalDisc) (or (material Gold ?OBJ) (material Aluminum ?OBJ)))	Media.kif 1143-1147	If a corpuscular object is an instance of OpticalDisc, then the corpuscular object is made of Gold or the corpuscular object is made of Aluminum
(=> (instance ?OBJ OpticalDisc) (shape ?OBJ Flat))	Media.kif 1135-1137	If a physical is an instance of OpticalDisc, then shape the physical and Flat

consequent

(=> (attribute ?X MiniSizeDisc) (instance ?X OpticalDisc))	Media.kif 1242-1244	If MiniSizeDisc is an attribute of an object, then the object is an instance of OpticalDisc
(=> (attribute ?X StandardSizeDisc) (instance ?X OpticalDisc))	Media.kif 1229-1231	If StandardSizeDisc is an attribute of an object, then the object is an instance of OpticalDisc

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