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

Formal Language: 


KB Term:  Term intersection
English Word: 

  RadiatingLight

 Sigma KEE - RadiatingLight
RadiatingLight(放射光线)

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


(documentation RadiatingLight ChineseLanguage "这是 Radiating 的 subclass，过程中会释放 或吸收光，一些例如包括：闪烁、闪光和闪亮。") 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 13790-13792
(subclass RadiatingLight RadiatingElectromagnetic) Merge.kif 13789-13789 放射光线 是 辐射电磁 的 subclass

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


(disjoint RadiatingInfrared RadiatingLight) Mid-level-ontology.kif 589-589 辐射红外线 和 % 2 是 disjoint
(disjoint RadiatingUltraviolet RadiatingLight) Mid-level-ontology.kif 596-596 辐射紫外线 和 % 2 是 disjoint
(subclass FlashingLight RadiatingLight) Mid-level-ontology.kif 630-630 FlashingLight 是 放射光线 的 subclass
(subclass RadiatingVisibleLight RadiatingLight) Mid-level-ontology.kif 612-612 辐射可见光 是 放射光线 的 subclass
(subclass ReflectingLight RadiatingLight) Mid-level-ontology.kif 573-573 反射光 是 放射光线 的 subclass
(subclass Sunlight RadiatingLight) Mid-level-ontology.kif 626-626 阳光 是 放射光线 的 subclass
(termFormat ChineseLanguage RadiatingLight "放射光线") chinese_format.kif 1223-1223 阳光 是 放射光线 的 subclass
(termFormat EnglishLanguage RadiatingLight "radiating light") english_format.kif 1667-1667 阳光 是 放射光线 的 subclass
(termFormat FrenchLanguage RadiatingLight "lumi�re irradiante") french_format.kif 901-901 阳光 是 放射光线 的 subclass
(termFormat Hindi RadiatingLight "vikiranakaarii prakaasha") terms-hindi.txt 434-434 阳光 是 放射光线 的 subclass
(termFormat ItalianLanguage RadiatingLight "RadiazioneLuminosa") terms-it.txt 437-437 阳光 是 放射光线 的 subclass
(termFormat JapaneseLanguage RadiatingLight "放射光") japanese_format.kif 2585-2585 阳光 是 放射光线 的 subclass
(termFormat PortugueseLanguage RadiatingLight "Luz Irradiante") portuguese_format.kif 853-853 阳光 是 放射光线 的 subclass
(termFormat cz RadiatingLight "radiating light") terms-cz.txt 473-473 阳光 是 放射光线 的 subclass
(termFormat de RadiatingLight "ausstrahlendes Licht") terms-de.txt 732-732 阳光 是 放射光线 的 subclass
(termFormat ro RadiatingLight "radiaþie luminoasã") relations-ro.kif 922-922 阳光 是 放射光线 的 subclass
(termFormat tg RadiatingLight "nagmamanaag na liwanag") terms-tg.txt 438-438 阳光 是 放射光线 的 subclass

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


(=>
    (and
        (instance ?EMIT RadiatingLight)
        (patient ?EMIT ?REGION)
        (instance ?REGION Region))
    (attribute ?REGION Illuminated))		 Merge.kif 13794-13799
(=>
    (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) ?T2)
            (meetsTemporally ?T2
                (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 1582-1590
(=>
    (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 1194-1204
(=>
    (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 1259-1269
(=>
    (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 28874-28900
(=>
    (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 16525-16537
(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))		 Merge.kif 13801-13807
(=>
    (instance ?COMBUSTION Combustion)
    (exists (?HEAT ?LIGHT)
        (and
            (instance ?HEAT Heating)
            (instance ?LIGHT RadiatingLight)
            (subProcess ?HEAT ?COMBUSTION)
            (subProcess ?LIGHT ?COMBUSTION))))		 Merge.kif 12715-12722
(=>
    (instance ?F LightBulb)
    (capability RadiatingLight instrument ?F))		 Cars.kif 5148-5150
(=>
    (instance ?F LightFixture)
    (capability RadiatingLight instrument ?F))		 Mid-level-ontology.kif 3481-3483
(=>
    (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 15826-15841
(=>
    (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 1389-1409
(=>
    (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 1277-1303
(=>
    (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 28130-28144
(=>
    (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 28168-28176
(=>
    (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 27788-27803
(=>
    (instance ?X VideoRecording)
    (exists (?EV)
        (and
            (instance ?EV Process)
            (represents ?X ?EV)
            (capability RadiatingLight patient ?X))))		 Mid-level-ontology.kif 15804-15810
(=>
    (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


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