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

Formal Language: 


KB Term:  Term intersection
English Word: 

  BluRayDisc

Sigma KEE - BluRayDisc
BluRayDisc

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


(disjoint BluRayDisc CompactDisc) Media.kif 1191-1191 BluRayDisc est disjoint de CompactDisc
(disjoint BluRayDisc DVD) Media.kif 1192-1192 BluRayDisc est disjoint de DVD
(diskTypeForDrive BluRayDisc BluRayDrive) ComputerInput.kif 785-785 diskTypeForDrive BluRayDisc and BluRayDrive
(documentation BluRayDisc EnglishLanguage "A type of CompactDisc that has significantly more storage than a DVD.") Media.kif 1190-1190 diskTypeForDrive BluRayDisc and BluRayDrive
(subclass BluRayDisc OpticalDisc) Media.kif 1189-1189 BluRayDisc est une sous-classe de OpticalDisc

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


(termFormat EnglishLanguage BluRayDisc "blu ray disc") domainEnglishFormat.kif 64541-64541

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 1194-1204


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