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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BluRayDisc
BluRayDisc(blu ray disc)

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


(disjoint BluRayDisc CompactDisc) Media.kif 1189-1189 Blu ray disc is disjoint from compact disc
(disjoint BluRayDisc DVD) Media.kif 1190-1190 Blu ray disc is disjoint from DVD
(diskTypeForDrive BluRayDisc BluRayDrive) ComputerInput.kif 785-785 Blu ray drive reads or writes blu ray disc
(documentation BluRayDisc EnglishLanguage "A type of CompactDisc that has significantly more storage than a DVD.") Media.kif 1188-1188
(subclass BluRayDisc OpticalDisc) Media.kif 1187-1187 Blu ray disc is a subclass of optical disc

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


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

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 1192-1202


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