DVDSystem - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DVDSystem MediaSystem)	Media.kif 1216-1216	Dvd player is a subclass of media system
(documentation DVDSystem EnglishLanguage "DVDSystem is a type of MediaSystem that is able to play the contents of VideoRecording and AudioRecording stored in a DVD")	Media.kif 1217-1219	Dvd player is a subclass of media system
(defaultMinimumHeight DVDSystem (MeasureFn 1 Inch))	DimensioningAmenities.kif 351-351	The minimum expected height of dvd player is 1 inch(s)
(defaultMaximumHeight DVDSystem (MeasureFn 6 Inch))	DimensioningAmenities.kif 352-352	The maximum expected height of dvd player is 6 inch(s)
(defaultMinimumWidth DVDSystem (MeasureFn 5 Inch))	DimensioningAmenities.kif 353-353	The minimum expected width of dvd player is 5 inch(s)
(defaultMaximumWidth DVDSystem (MeasureFn 17 Inch))	DimensioningAmenities.kif 354-354	The maximum expected width of dvd player is 17 inch(s)
(defaultMinimumLength DVDSystem (MeasureFn 5 Inch))	DimensioningAmenities.kif 355-355	The minimum expected length of dvd player is 5 inch(s)
(defaultMaximumLength DVDSystem (MeasureFn 14 Inch))	DimensioningAmenities.kif 356-356	The maximum expected length of dvd player is 14 inch(s)
(defaultMinimumMeasure DVDSystem (MeasureFn 2 PoundMass))	DimensioningAmenities.kif 357-357	The minimum expected value of dvd player is 2 pound mass(s)
(defaultMaximumMeasure DVDSystem (MeasureFn 13 PoundMass))	DimensioningAmenities.kif 358-358	The maximum expected value of dvd player is 13 pound mass(s)

appearance as argument number 2

(termFormat EnglishLanguage DVDSystem "dvd player")

Media.kif 1220-1220

antecedent

(=>
    (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 1222-1248

If X is an instance of dvd player, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of DVD (3) X is an instrument for Z (4) Y is a patient of Z (5) there exist W, V (6) U such that W is an instance of video recording (7) V expresses W (8) V is a part of Y (9) U is an instance of radiating light (10) U is a subprocess of Z (11) X is an instrument for U (12) W is a patient of U or there exist T, S (13) R such that T is an instance of audio recording (14) S expresses T (15) S is a part of Y (16) R is an instance of radiating sound (17) R is a subprocess of Z (18) X is an instrument for R (19) T is a patient of R

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners