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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DVD

Sigma KEE - DVD
DVD

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


(diskTypeForDrive DVD DVDDrive) ComputerInput.kif 781-781 DVDDrive readswrites DVD
(documentation DVD EnglishLanguage "An instance of DVD (Digital Versatile Disk) is a disc-shaped DigitalDataStorageDevice similar to a CompactDisc, but with a larger storage capacity.") Media.kif 1250-1253
(subclass DVD DigitalDataStorageDevice) Media.kif 1254-1254 DVDDigitalDataStorageDevicesubclass
(subclass DVD OpticalDisc) Media.kif 1255-1255 DVDOpticalDiscsubclass

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


(disjoint BluRayDisc DVD) Media.kif 1190-1190 BluRayDisc 和 % 2 是 disjoint
(termFormat EnglishLanguage DVD "DVD") domainEnglishFormat.kif 64735-64735

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


(=>
    (and
        (instance ?X DVD)
        (instance ?READ Decoding)
        (patient ?READ ?X))
    (exists (?LASER)
        (and
            (instance ?LASER RadiatingLight)
            (instrument ?READ ?LASER)
            (wavelength ?LASER
                (MeasureFn 650 Nanometer)))))
Media.kif 1257-1267

consequent
-------------------------


(=>
    (instance ?X DVDSystem)
    (hasPurpose ?X
        (exists (?DVD ?PROC)
            (and
                (instance ?DVD DVD)
                (instrument ?PROC ?X)
                (patient ?PROC ?DVD)
                (or
                    (exists (?VIDEO ?DVIDEO ?RL)
                        (and
                            (instance ?VIDEO VideoRecording)
                            (represents ?DVIDEO ?VIDEO)
                            (part ?DVIDEO ?DVD)
                            (instance ?RL RadiatingLight)
                            (subProcess ?RL ?PROC)
                            (instrument ?RL ?X)
                            (patient ?RL ?VIDEO)))
                    (exists (?AUDIO ?DAUDIO ?RS)
                        (and
                            (instance ?AUDIO AudioRecording)
                            (represents ?DAUDIO ?AUDIO)
                            (part ?DAUDIO ?DVD)
                            (instance ?RS RadiatingSound)
                            (subProcess ?RS ?PROC)
                            (instrument ?RS ?X)
                            (patient ?RS ?AUDIO))))))))
Media.kif 1275-1301


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