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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingLight
RadiatingLight(radiating light)Bengal_light, Moon, Tyndall_effect, aberration, ablaze, aflicker, afterglow, agleam, aglitter, aglow, aphotic, ardent, autofluorescence, beam, beam_of_light, beaming, beamy, bioluminescence, bioluminescent, birefringent, black, blaze, blazing, blinding, blink, blue_jet, bright, bright_as_a_new_penny, brightly, brightness, brightness_level, brilliant, brilliantly, candent, candescent, candle_flame, candlelight, chemiluminescence, clinquant, corona, coruscant, coruscate, coruscation, counterglow, crepuscular, dark, darkened, darkening, darkling, darkly...

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 13697-13699
(subclass RadiatingLight RadiatingElectromagnetic) Merge.kif 13696-13696 Radiating light is a subclass of radiating electromagnetic

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


(disjoint RadiatingInfrared RadiatingLight) Mid-level-ontology.kif 589-589 Radiating infrared is disjoint from radiating light
(disjoint RadiatingUltraviolet RadiatingLight) Mid-level-ontology.kif 596-596 Radiating ultraviolet is disjoint from radiating light
(subclass FlashingLight RadiatingLight) Mid-level-ontology.kif 630-630 Flashing light is a subclass of radiating light
(subclass RadiatingVisibleLight RadiatingLight) Mid-level-ontology.kif 612-612 Radiating visible light is a subclass of radiating light
(subclass ReflectingLight RadiatingLight) Mid-level-ontology.kif 573-573 Reflecting light is a subclass of radiating light
(subclass Sunlight RadiatingLight) Mid-level-ontology.kif 626-626 Sunlight is a subclass of radiating light
(termFormat ChineseLanguage RadiatingLight "放射光线") chinese_format.kif 1223-1223
(termFormat EnglishLanguage RadiatingLight "radiating light") english_format.kif 1667-1667
(termFormat FrenchLanguage RadiatingLight "lumi�re irradiante") french_format.kif 901-901
(termFormat Hindi RadiatingLight "vikiranakaarii prakaasha") terms-hindi.txt 434-434
(termFormat ItalianLanguage RadiatingLight "RadiazioneLuminosa") terms-it.txt 437-437
(termFormat JapaneseLanguage RadiatingLight "放射光") japanese_format.kif 2585-2585
(termFormat PortugueseLanguage RadiatingLight "Luz Irradiante") portuguese_format.kif 853-853
(termFormat cz RadiatingLight "radiating light") terms-cz.txt 473-473
(termFormat ro RadiatingLight "radiaþie luminoasã") relations-ro.kif 922-922
(termFormat tg RadiatingLight "nagmamanaag na liwanag") terms-tg.txt 438-438

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


(=>
    (and
        (instance ?EMIT RadiatingLight)
        (patient ?EMIT ?REGION)
        (instance ?REGION Region))
    (attribute ?REGION Illuminated))
Merge.kif 13701-13706
(=>
    (and
        (instance ?R RadiatingLight)
        (instance ?H Human)
        (instance ?S Seeing)
        (agent ?S ?H)
        (patient ?S ?R))
    (instance ?R RadiatingVisibleLight))
Mid-level-ontology.kif 617-624

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


(=>
    (and
        (instance ?FL FlashingLight)
        (origin ?FL ?L))
    (exists (?I1 ?T2 ?I3)
        (and
            (instance ?I1 RadiatingLight)
            (instance ?T2 TimeInterval)
            (instance ?I3 RadiatingLight)
            (meetsTemporally
                (WhenFn ?I1) ?I2)
            (meetsTemporally ?I2
                (WhenFn ?I3))
            (not
                (exists (?I2)
                    (and
                        (instance ?I2 RadiatingLight)
                        (origin ?I2 ?L)
                        (during
                            (WhenFn ?I2) ?T2))))
            (subProcess ?I1 ?FL)
            (subProcess ?I3 ?FL))))
Mid-level-ontology.kif 636-654
(=>
    (and
        (instance ?M Measuring)
        (instrument ?M ?R)
        (instance ?R RTPCRTest))
    (exists (?E)
        (and
            (instance ?E RadiatingLight)
            (origin ?E ?R))))
Medicine.kif 1589-1597
(=>
    (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 1192-1202
(=>
    (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 1156-1166
(=>
    (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 1257-1267
(=>
    (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 27006-27032
(=>
    (attribute ?O Translucent)
    (modalAttribute
        (exists (?EMIT ?S ?OBJ)
            (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 15179-15191
(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))
Merge.kif 13708-13714
(=>
    (instance ?COMBUSTION Combustion)
    (exists (?HEAT ?LIGHT)
        (and
            (instance ?HEAT Heating)
            (instance ?LIGHT RadiatingLight)
            (subProcess ?HEAT ?COMBUSTION)
            (subProcess ?LIGHT ?COMBUSTION))))
Merge.kif 12622-12629
(=>
    (instance ?F LightBulb)
    (capability RadiatingLight instrument ?F))
Cars.kif 5072-5074
(=>
    (instance ?F LightFixture)
    (capability RadiatingLight instrument ?F))
Mid-level-ontology.kif 3011-3013
(=>
    (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 14482-14497
(=>
    (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 1387-1407
(=>
    (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 1275-1301
(=>
    (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 26262-26276
(=>
    (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 26300-26308
(=>
    (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 25921-25936
(=>
    (instance ?X VideoRecording)
    (exists (?EV)
        (and
            (instance ?EV Process)
            (represents ?X ?EV)
            (capability RadiatingLight patient ?X))))
Mid-level-ontology.kif 14460-14466
(=>
    (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