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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MediaSystem

Sigma KEE - MediaSystem
MediaSystem

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 12073-12075
(subclass MediaSystem Collection) Mid-level-ontology.kif 12072-12072

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


(subclass AudioCDSystem MediaSystem) Media.kif 1208-1208
(subclass DVDSystem MediaSystem) Media.kif 1273-1273
(subclass MultimediaProjector MediaSystem) Mid-level-ontology.kif 24131-24131
(subclass VCRSystem MediaSystem) Media.kif 1386-1386
(subclass VideoGamePlayer MediaSystem) Mid-level-ontology.kif 23720-23720
(termFormat EnglishLanguage MediaSystem "media system") Mid-level-ontology.kif 12076-12076

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 12078-12093

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 1450-1463


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