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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MediaSystem

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

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


(documentation MediaSystem EnglishLanguage "MediaSystem is a Collection of components that enable the RadiatingSound of AudioRecording and RadiatingLight of VideoRecording") Mid-level-ontology.kif 12125-12127
(subclass MediaSystem Collection) Mid-level-ontology.kif 12124-12124 Media system is a subclass of collection

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


(subclass AppleIPod MediaSystem) ComputingBrands.kif 794-794 IPod is a subclass of media system
(subclass AudioCDSystem MediaSystem) Media.kif 1208-1208 Cd player is a subclass of media system
(subclass DVDSystem MediaSystem) Media.kif 1273-1273 Dvd player is a subclass of media system
(subclass MultimediaProjector MediaSystem) Mid-level-ontology.kif 24276-24276 Multimedia projector is a subclass of media system
(subclass VCRSystem MediaSystem) Media.kif 1386-1386 Vcr system is a subclass of media system
(subclass VideoGamePlayer MediaSystem) Mid-level-ontology.kif 23865-23865 Video game player is a subclass of media system
(termFormat EnglishLanguage MediaSystem "media system") Mid-level-ontology.kif 12128-12128

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 12130-12145

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 1454-1467


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners