Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AudioCDSystem
AudioCDSystem(cd player)CD_drive

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


(subclass AudioCDSystem MediaSystem) Media.kif 1151-1151 Cd player is a subclass of media system
(documentation AudioCDSystem EnglishLanguage "AudioCDSystem is a type of MediaSystem that plays AudioRecording") Media.kif 1152-1153 Cd player is a subclass of media system
(defaultMinimumHeight AudioCDSystem
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 306-306 The minimum expected height of cd player is 2 inch(s)
(defaultMaximumHeight AudioCDSystem
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 307-307 The maximum expected height of cd player is 6 inch(s)
(defaultMinimumWidth AudioCDSystem
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 308-308 The minimum expected width of cd player is 4 inch(s)
(defaultMaximumWidth AudioCDSystem
    (MeasureFn 11 Inch))		 DimensioningAmenities.kif 309-309 The maximum expected width of cd player is 11 inch(s)
(defaultMinimumLength AudioCDSystem
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 310-310 The minimum expected length of cd player is 5 inch(s)
(defaultMaximumLength AudioCDSystem
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 311-311 The maximum expected length of cd player is 7 inch(s)
(defaultMinimumMeasure AudioCDSystem
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 312-312 The minimum expected value of cd player is 1 pound mass(s)
(defaultMaximumMeasure AudioCDSystem
    (MeasureFn 6 PoundMass))		 DimensioningAmenities.kif 313-313 The maximum expected value of cd player is 6 pound mass(s)

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


(termFormat EnglishLanguage AudioCDSystem "cd player") Media.kif 1154-1154

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


(=>
    (instance ?PLAYER AudioCDSystem)
    (hasPurpose ?PLAYER
        (exists (?DISC ?AUDIO ?RS ?DIGITAL ?PROC)
            (and
                (instrument ?PROC ?PLAYER)
                (patient ?PROC ?DISC)
                (instance ?DISC CompactDisc)
                (instance ?AUDIO AudioRecording)
                (represents ?DIGITAL ?AUDIO)
                (part ?DIGITAL ?DISC)
                (instance ?RS RadiatingSound)
                (subProcess ?RS ?PROC)
                (instrument ?RS ?PLAYER)
                (patient ?RS ?DISC)))))		 Media.kif 1156-1170 If X is an instance of cd player, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that X is an instrument for U (3) Y is a patient of U (4) Y is an instance of compact disc (5) Z is an instance of audio recording (6) V expresses Z (7) V is a part of Y (8) W is an instance of radiating sound (9) W is a subprocess of U (10) X is an instrument for W (11) Y is a patient of W


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