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 15383-15398

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

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 15378-15380
(subclass MediaSystem Collection)	Mid-level-ontology.kif 15377-15377	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 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 27319-27319	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 26978-26978	Video game player is a subclass of media system
(termFormat EnglishLanguage MediaSystem "media system")	Mid-level-ontology.kif 15381-15381	Video game player is a subclass of media system

KB Term:			Term intersection

English Word: