TreeView Knowledge Base Browser

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 ist eine teilkategorie von Collection

appearance as argument number 2

(subclass AppleIPod MediaSystem)	ComputingBrands.kif 817-817	AppleIPod ist eine teilkategorie von MediaSystem
(subclass AudioCDSystem MediaSystem)	Media.kif 1204-1204	AudioCDSystem ist eine teilkategorie von MediaSystem
(subclass DVDSystem MediaSystem)	Media.kif 1269-1269	DVDSystem ist eine teilkategorie von MediaSystem
(subclass MultimediaProjector MediaSystem)	Mid-level-ontology.kif 26224-26224	MultimediaProjector ist eine teilkategorie von MediaSystem
(subclass VCRSystem MediaSystem)	Media.kif 1382-1382	VCRSystem ist eine teilkategorie von MediaSystem
(subclass VideoGamePlayer MediaSystem)	Mid-level-ontology.kif 25883-25883	VideoGamePlayer ist eine teilkategorie von MediaSystem
(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

Wenn Physical ist ein fall von MediaSystem %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von VideoRecording %n{nicht} und ** ** entity ist ein fall von RadiatingLight %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** Physical ist ein instrument fuer ** ** entity %n{nicht} oder es gibt ** entity und ** entity um ** ** entity ist ein fall von AudioRecording %n{nicht} und ** ** entity ist ein fall von RadiatingSound %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** Physical ist ein instrument fuer ** ** entity %n{nicht} %n{nicht}

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

Wenn roomAmenity ** HotelUnit and MotionPicture,
dann es gibt Object, Physical, and und Entity um ** Object ist ein fall von ** HotelUnit %n{nicht} und ** Physical ist ein fall von MediaSystem %n{nicht} und ** Physical befindet sich an %n{nicht} und ** Entity ist ein fall von MotionPicture %n{nicht} und die Aussage es gibt ** ObjectL um ** ObjectL ist ein fall von RadiatingLight %n{nicht} und ** Physical ist ein instrument fuer ** ObjectL %n{nicht} und ** Entity ist ein patient von ** ObjectL %n{nicht} hat die modale Kraft von Possibility

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

KB Term:			Term intersection

English Word: