Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


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

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


(subclass AppleIPod MediaSystem) ComputingBrands.kif 785-785 IPod is a subclass of media system
(subclass AudioCDSystem MediaSystem) Media.kif 1204-1204 Cd player is a subclass of media system
(subclass DVDSystem MediaSystem) Media.kif 1269-1269 Dvd player is a subclass of media system
(subclass MultimediaProjector MediaSystem) Mid-level-ontology.kif 25590-25590 Multimedia projector is a subclass of media system
(subclass VCRSystem MediaSystem) Media.kif 1382-1382 Vcr system is a subclass of media system
(subclass VideoGamePlayer MediaSystem) Mid-level-ontology.kif 25250-25250 Video game player is a subclass of media system
(termFormat EnglishLanguage MediaSystem "media system") Mid-level-ontology.kif 13919-13919

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 13921-13936

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 1481-1494


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 is open source software produced by Articulate Software and its partners