MediaSystem - Sigma Knowledge base Browser

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 15844-15859

If a physical is an instance of media system,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of video recording and the other entity is an instance of radiating light and the entity is a patient of the other entity and the physical is an instrument for the other entity or there exist a third entity and a fourth entity such that the third entity is an instance of audio recording and the fourth entity is an instance of radiating sound and the third entity is a patient of the fourth entity and the physical is an instrument for the fourth entity

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 a kind of hotel unit,
then there exist an object, a physical and an entity such that the object is an instance of a kind of hotel unit and the physical is an instance of media system and the physical is located at the object and the entity is an instance of motion picture and the statement there exists the objectL such that the objectL is an instance of radiating light and the physical is an instrument for the objectL and the entity is a patient of the objectL 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 is open source software produced by Articulate Software and its partners

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

(subclass AppleIPod MediaSystem)	ComputingBrands.kif 817-817	IPod is a subclass of media system
(subclass AudioCDSystem MediaSystem)	Media.kif 1206-1206	Cd player is a subclass of media system
(subclass DVDSystem MediaSystem)	Media.kif 1271-1271	Dvd player is a subclass of media system
(subclass MultimediaProjector MediaSystem)	Mid-level-ontology.kif 27882-27882	Multimedia projector is a subclass of media system
(subclass VCRSystem MediaSystem)	Media.kif 1384-1384	Vcr system is a subclass of media system
(subclass VideoGamePlayer MediaSystem)	Mid-level-ontology.kif 27540-27540	Video game player is a subclass of media system
(termFormat EnglishLanguage MediaSystem "media system")	Mid-level-ontology.kif 15842-15842	Video game player is a subclass of media system

KB Term:			Term intersection

English Word: