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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BluRayDisc
BluRayDisc

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


(disjoint BluRayDisc CompactDisc) Media.kif 1193-1193
(disjoint BluRayDisc DVD) Media.kif 1194-1194
(diskTypeForDrive BluRayDisc BluRayDrive) ComputerInput.kif 814-814
(documentation BluRayDisc EnglishLanguage "A type of CompactDisc that has significantly more storage than a DVD.") Media.kif 1192-1192
(subclass BluRayDisc OpticalDisc) Media.kif 1191-1191

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


(=>
    (and
        (instance ?X BluRayDisc)
        (instance ?READ Decoding)
        (patient ?READ ?X))
    (exists (?LASER)
        (and
            (instance ?LASER RadiatingLight)
            (instrument ?READ ?LASER)
            (wavelength ?LASER
                (MeasureFn 405 Nanometer)))))
Media.kif 1196-1206


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