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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingLight
RadiatingLight

VerbNet: light_emission-43.1|shine, light_emission-43.1|twinkle, light_emission-43.1|sparkle, light_emission-43.1|flare, light_emission-43.1|flare, light_emission-43.1|twinkle, light_emission-43.1|flicker, light_emission-43.1|flicker, light_emission-43.1|glare, light_emission-43.1|glimmer, light_emission-43.1|glimmer, light_emission-43.1|glow, remedy-45.7|light, remedy-45.7|light, remedy-45.7|light, light_emission-43.1|incandesce, remedy-45.7|light, light_emission-43.1|shine, light_emission-43.1|sparkle, light_emission-43.1|shimmer, light_emission-43.1|shine, light_emission-43.1|sparkle, light_emission-43.1|twinkle, light_emission-43.1|twinkle, light_emission-43.1|twinkle,


appearance as argument number 1
-------------------------


(documentation RadiatingLight ChineseLanguage "这是 Radiatingsubclass,过程中会释放 或吸收光,一些例如包括:闪烁、闪光和闪亮。") chinese_format.kif 3328-3329
(documentation RadiatingLight EnglishLanguage "The subclass of Radiating in which light is given off or absorbed. Some examples include blinking, flashing, and glittering.") Merge.kif 12494-12496
(subclass RadiatingLight RadiatingElectromagnetic) Merge.kif 12493-12493

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


(disjoint RadiatingInfrared RadiatingLight) Mid-level-ontology.kif 774-774
(disjoint RadiatingUltraviolet RadiatingLight) Mid-level-ontology.kif 781-781
(subclass RadiatingVisibleLight RadiatingLight) Mid-level-ontology.kif 803-803
(subclass ReflectingLight RadiatingLight) Mid-level-ontology.kif 758-758
(subclass Sunlight RadiatingLight) Mid-level-ontology.kif 817-817
(termFormat ChineseLanguage RadiatingLight "放射光线") chinese_format.kif 1223-1223
(termFormat EnglishLanguage RadiatingLight "radiating light") english_format.kif 1672-1672

antecedent
-------------------------


(<=>
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region)))
    (attribute ?REGION Illuminated))
Merge.kif 12498-12504
(=>
    (and
        (instance ?R RadiatingLight)
        (instance ?H Human)
        (instance ?S Seeing)
        (agent ?S ?H)
        (patient ?S ?R))
    (instance ?R RadiatingVisibleLight))
Mid-level-ontology.kif 808-815

consequent
-------------------------


(=>
    (and
        (instance ?KL KnockLight)
        (instance ?ROOM Room)
        (located ?KL ?ROOM)
        (instance ?DOOR Door)
        (part ?DOOR ?ROOM))
    (hasPurpose ?KL
        (exists (?SOUND ?LIGHT ?IMPACT)
            (and
                (instance ?IMPACT Impacting)
                (patient ?IMPACT ?DOOR)
                (causes ?IMPACT ?SOUND)
                (instance ?SOUND RadiatingSound)
                (agent ?SOUND ?DOOR)
                (causes ?SOUND ?LIGHT)
                (instance ?LIGHT RadiatingLight)
                (agent ?LIGHT ?KL)))))
Mid-level-ontology.kif 23642-23659
(=>
    (and
        (instance ?X BluRayDisc)
        (instance ?READ Decoding)
        (patient ?READ ?X))
    (exists (?LASER)
        (and
            (instance ?LASER RadiatingLight)
            (instrument ?READ ?LASER)
            (wavelength ?LASER
                (MeasureFn 405 Nanometer)))))
Media.kif 1196-1206
(=>
    (and
        (instance ?X CompactDisc)
        (instance ?READ Decoding)
        (patient ?READ ?X))
    (exists (?LASER)
        (and
            (instance ?LASER RadiatingLight)
            (instrument ?READ ?LASER)
            (wavelength ?LASER
                (MeasureFn 780 Nanometer)))))
Media.kif 1160-1170
(=>
    (and
        (instance ?X DVD)
        (instance ?READ Decoding)
        (patient ?READ ?X))
    (exists (?LASER)
        (and
            (instance ?LASER RadiatingLight)
            (instrument ?READ ?LASER)
            (wavelength ?LASER
                (MeasureFn 650 Nanometer)))))
Media.kif 1261-1271
(=>
    (and
        (instance ?X SurveillanceSystem)
        (member ?X ?VIDEO)
        (member ?X ?DISPLAY)
        (located ?VIDEO ?LOC1)
        (instance ?VIDEO Camera)
        (located ?DISPLAY ?LOC2)
        (not
            (equal ?LOC1 ?LOC2))
        (instance ?DISPLAY VideoDisplay))
    (hasPurpose ?X
        (exists (?PROC ?VID ?RL ?CAPTURE)
            (and
                (instance ?PROC Process)
                (eventLocated ?PROC ?LOC1)
                (represents ?VID ?PROC)
                (instrument ?CAPTURE Camera)
                (result ?CAPTURE ?VID)
                (instance ?RL RadiatingLight)
                (instrument ?RL ?DISPLAY)
                (patient ?RL ?VID)
                (before
                    (BeginFn ?PROC)
                    (BeginFn ?CAPTURE))
                (before
                    (BeginFn ?CAPTURE)
                    (BeginFn ?RL))))))
Mid-level-ontology.kif 25074-25100
(=>
    (attribute ?O Translucent)
    (modalAttribute
        (exists (?EMIT)
            (and
                (instance ?EMIT RadiatingLight)
                (resource ?EMIT ?S)
                (destination ?EMIT ?OBJ)
                (between ?S ?O ?OBJ)
                (holdsDuring
                    (WhenFn ?EMIT)
                    (attribute ?OBJ Illuminated)))) Possibility))
Mid-level-ontology.kif 12834-12846
(=>
    (instance ?COMBUSTION Combustion)
    (exists (?HEAT ?LIGHT)
        (and
            (instance ?HEAT Heating)
            (instance ?LIGHT RadiatingLight)
            (subProcess ?HEAT ?COMBUSTION)
            (subProcess ?LIGHT ?COMBUSTION))))
Merge.kif 11495-11502
(=>
    (instance ?F LightBulb)
    (capability RadiatingLight instrument ?F))
Cars.kif 5066-5068
(=>
    (instance ?F LightFixture)
    (capability RadiatingLight instrument ?F))
Mid-level-ontology.kif 3556-3558
(=>
    (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 12070-12085
(=>
    (instance ?VCR VCRSystem)
    (hasPurpose ?VCR
        (exists (?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS)
            (and
                (instance ?VHS VHSCassette)
                (instrument ?PROC ?VCR)
                (patient ?PROC ?VHS)
                (instance ?VIDEO VideoRecording)
                (represents ?AVIDEO ?VIDEO)
                (part ?VIDEO ?VHS)
                (instance ?AUDIO AudioRecording)
                (represents ?AAUDIO ?AUDIO)
                (part ?AAUDIO ?AVIDEO)
                (part ?AUDIO ?VHS)
                (instance ?RL RadiatingLight)
                (patient ?RL ?VIDEO)
                (subProcess ?RL ?PROC)
                (instance ?RS RadiatingSound)
                (patient ?RS ?AUDIO)
                (subProcess ?RS ?PROC)))))
Media.kif 1391-1411
(=>
    (instance ?X DVDSystem)
    (hasPurpose ?X
        (exists (?DVD ?PROC)
            (and
                (instance ?DVD DVD)
                (instrument ?PROC ?X)
                (patient ?PROC ?DVD)
                (or
                    (exists (?VIDEO ?DVIDEO ?RL)
                        (and
                            (instance ?VIDEO VideoRecording)
                            (represents ?DVIDEO ?VIDEO)
                            (part ?DVIDEO ?DVD)
                            (instance ?RL RadiatingLight)
                            (subProcess ?RL ?PROC)
                            (instrument ?RL ?X)
                            (patient ?RL ?VIDEO)))
                    (exists (?AUDIO ?DAUDIO ?RS)
                        (and
                            (instance ?AUDIO AudioRecording)
                            (represents ?DAUDIO ?AUDIO)
                            (part ?DAUDIO ?DVD)
                            (instance ?RS RadiatingSound)
                            (subProcess ?RS ?PROC)
                            (instrument ?RS ?X)
                            (patient ?RS ?AUDIO))))))))
Media.kif 1279-1305
(=>
    (instance ?X MultimediaProjector)
    (hasPurpose ?X
        (exists (?RS ?SCREEN ?VIDEO)
            (and
                (instance ?RS RadiatingLight)
                (instrument ?RS ?X)
                (patient ?RS ?VIDEO)
                (or
                    (instance ?VIDEO VideoRecording)
                    (instance ?VIDEO Image))
                (destination ?RS ?SCREEN)
                (instance ?SCREEN Artifact)
                (attribute ?SCREEN Flat)
                (not
                    (connected ?X ?SCREEN))))))
Mid-level-ontology.kif 24121-24135
(=>
    (instance ?X VideoDisplay)
    (hasPurpose ?X
        (exists (?RL ?VIDEO)
            (and
                (instance ?RL RadiatingLight)
                (instance ?VIDEO VideoRecording)
                (patient ?RL ?VIDEO)
                (instrument ?RL ?X)))))
Mid-level-ontology.kif 24182-24190
(=>
    (instance ?X VideoGamePlayer)
    (hasPurpose ?X
        (exists (?GAME ?RL ?MOVE ?CONTROLLER ?PLAYER)
            (and
                (instance ?GAME VideoGame)
                (instrument ?GAME ?X)
                (agent ?GAME ?PLAYER)
                (instance ?MOVE Maneuver)
                (instrument ?MOVE ?CONTROLLER)
                (agent ?MOVE ?PLAYER)
                (subProcess ?MOVE ?GAME)
                (part ?CONTROLLER ?X)
                (instance ?RL RadiatingLight)
                (agent ?RL ?X)
                (patient ?RL ?GAME)))))
Mid-level-ontology.kif 23710-23725
(=>
    (instance ?X VideoRecording)
    (exists (?EV)
        (and
            (instance ?EV Process)
            (represents ?X ?EV)
            (capability RadiatingLight patient ?X))))
Mid-level-ontology.kif 12048-12054
(=>
    (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 1454-1467


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners