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


KB Term:  Term intersection
English Word: 

Sigma KEE - MediaSystem
MediaSystem(media system)audio_system, audiovisual, audiovisual_aid, iPod, sound_system, video_iPod

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


(subclass MediaSystem CollectionOfObjects) Mid-level-ontology.kif 16054-16054 Media system is a subclass of collection
(documentation MediaSystem EnglishLanguage "MediaSystem is a CollectionOfObjects of components that enable the RadiatingSound of AudioRecording and RadiatingLight of VideoRecording") Mid-level-ontology.kif 16055-16057 Media system is a subclass of collection

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


(termFormat EnglishLanguage MediaSystem "media system") Mid-level-ontology.kif 16058-16058
(subclass VideoGamePlayer MediaSystem) Mid-level-ontology.kif 28455-28455 Video game player is a subclass of media system
(subclass MultimediaProjector MediaSystem) Mid-level-ontology.kif 28781-28781 Multimedia projector is a subclass of media system
(subclass AppleIPod MediaSystem) ComputingBrands.kif 817-817 IPod is a subclass of media system
(subclass AudioCDSystem MediaSystem) Media.kif 1151-1151 Cd player is a subclass of media system
(subclass DVDSystem MediaSystem) Media.kif 1216-1216 Dvd player is a subclass of media system
(subclass VCRSystem MediaSystem) Media.kif 1329-1329 Vcr system is a subclass of media system

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


(=>
    (instance ?PLAYER MediaSystem)
    (hasPurpose ?PLAYER
        (or
            (exists (?VIDEO ?RL)
                (and
                    (instance ?VIDEO VideoRecording)
                    (instance ?RL RadiatingLight)
                    (patient ?RL ?VIDEO)
                    (instrument ?RL ?PLAYER)))
            (exists (?AUDIO ?RS)
                (and
                    (instance ?AUDIO AudioRecording)
                    (instance ?RS RadiatingSound)
                    (patient ?RS ?AUDIO)
                    (instrument ?RS ?PLAYER))))))		 Mid-level-ontology.kif 16060-16075 If X is an instance of media system, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of video recording (3) Z is an instance of radiating light (4) Y is a patient of Z (5) X is an instrument for Z or there exist W (6) V such that W is an instance of audio recording (7) V is an instance of radiating sound (8) W is a patient of V (9) X is an instrument for V

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


(=>
    (roomAmenity ?ROOM MotionPicture)
    (exists (?R ?MS ?MP)
        (and
            (instance ?R ?ROOM)
            (instance ?MS MediaSystem)
            (located ?MS ?R)
            (instance ?MP MotionPicture)
            (modalAttribute
                (exists (?RL)
                    (and
                        (instance ?RL RadiatingLight)
                        (instrument ?RL ?MS)
                        (patient ?RL ?MP))) Possibility))))		 Hotel.kif 1517-1530 If motion picture is an amenity in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of X (3) Z is an instance of media system (4) Z is located at Y (5) W is an instance of motion picture (6) the statement there exists V such that V is an instance of radiating light (7) Z is an instrument for V (8) W is a patient of V has the modal force of possibility


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