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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14450-14452
(subclass MediaSystem Collection) Mid-level-ontology.kif 14449-14449 MediaSystemコレクションsubclass では %n

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


(subclass AppleIPod MediaSystem) ComputingBrands.kif 817-817 IPodMediaSystemsubclass では %n
(subclass AudioCDSystem MediaSystem) Media.kif 1204-1204 AudioCDSystemMediaSystemsubclass では %n
(subclass DVDSystem MediaSystem) Media.kif 1269-1269 DVDSystemMediaSystemsubclass では %n
(subclass MultimediaProjector MediaSystem) Mid-level-ontology.kif 26224-26224 MultimediaProjectorMediaSystemsubclass では %n
(subclass VCRSystem MediaSystem) Media.kif 1382-1382 VCRSystemMediaSystemsubclass では %n
(subclass VideoGamePlayer MediaSystem) Mid-level-ontology.kif 25883-25883 VideoGamePlayerMediaSystemsubclass では %n
(termFormat EnglishLanguage MediaSystem "media system") Mid-level-ontology.kif 14453-14453

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 14455-14470

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 1506-1519


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