RadiatingLight - Sigma Knowledge base Browser

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 "这是 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 12494-12496
(subclass RadiatingLight RadiatingElectromagnetic)	Merge.kif 12493-12493	subclass RadiatingLight and RadiatingElectromagnetic

appearance as argument number 2

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

antecedent

(<=> (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region))) (attribute ?REGION Illuminated))	Merge.kif 12498-12504	Process instance Process and RadiatingLight patient Process and Object instance Object and Region attribute Object and Illuminated
(=> (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	instance Entity and RadiatingLight instance Agent and Human instance Process and Seeing agent Process and Agent patient Process and Entity instance Entity and RadiatingVisibleLight

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	instance Physical and KnockLight instance Object and Room located Physical and Object instance Object and Door part Object and Object hasPurpose Physical and entity entity and entity instance entity and Impacting patient entity and Object causes entity and entity instance entity and RadiatingSound agent entity and Object causes entity and entity instance entity and RadiatingLight agent entity and Physical
(=> (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	instance Entity and BluRayDisc instance Process and Decoding patient Process and Entity Object instance Object and RadiatingLight instrument Process and Object wavelength Object and MeasureFn 405 and Nanometer
(=> (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	instance Entity and CompactDisc instance Process and Decoding patient Process and Entity Object instance Object and RadiatingLight instrument Process and Object wavelength Object and MeasureFn 780 and Nanometer
(=> (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	instance Entity and DVD instance Process and Decoding patient Process and Entity Object instance Object and RadiatingLight instrument Process and Object wavelength Object and MeasureFn 650 and Nanometer
(=> (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	instance Object and SurveillanceSystem member Object and Collection member Object and Collection located Collection and Object instance Collection and Camera located Collection and Object equal Object and Object instance Collection and VideoDisplay hasPurpose Object and entity entity, entity and entity instance entity and Process eventLocated entity and Object represents entity and entity instrument entity and Camera result entity and entity instance entity and RadiatingLight instrument entity and Collection patient entity and entity before BeginFn entity and BeginFn entity before BeginFn entity and BeginFn entity
(=> (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	attribute Object and Translucent modalAttribute entity instance entity and RadiatingLight resource entity and entity destination entity and ObjectBJ between entity, Object and ObjectBJ holdsDuring WhenFn entity and attribute ObjectBJ and Illuminated and Possibility
(=> (instance ?COMBUSTION Combustion) (exists (?HEAT ?LIGHT) (and (instance ?HEAT Heating) (instance ?LIGHT RadiatingLight) (subProcess ?HEAT ?COMBUSTION) (subProcess ?LIGHT ?COMBUSTION))))	Merge.kif 11495-11502	instance Process and Combustion Process Process instance Process and Heating instance Process and RadiatingLight subProcess Process and Process subProcess Process and Process
(=> (instance ?F LightBulb) (capability RadiatingLight instrument ?F))	Cars.kif 5066-5068	instance Object and LightBulb capability RadiatingLight, instrument and Object
(=> (instance ?F LightFixture) (capability RadiatingLight instrument ?F))	Mid-level-ontology.kif 3556-3558	instance Object and LightFixture capability RadiatingLight, instrument and Object
(=> (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 Physical and MediaSystem hasPurpose Physical and entity entity instance entity and VideoRecording instance entity and RadiatingLight patient entity and entity instrument entity and Physical entity entity instance entity and AudioRecording instance entity and RadiatingSound patient entity and entity instrument entity and Physical
(=> (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 Physical and VCRSystem hasPurpose Physical and entity entity, entity, entity, entity, entity, entity and entity instance entity and VHSCassette instrument entity and Physical patient entity and entity instance entity and VideoRecording represents entity and entity part entity and entity instance entity and AudioRecording represents entity and entity part entity and entity part entity and entity instance entity and RadiatingLight patient entity and entity subProcess entity and entity instance entity and RadiatingSound patient entity and entity subProcess entity and entity
(=> (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 Physical and DVDSystem hasPurpose Physical and entity entity instance entity and DVD instrument entity and Physical patient entity and entity entity entity and entity instance entity and VideoRecording represents entity and entity part entity and entity instance entity and RadiatingLight subProcess entity and entity instrument entity and Physical patient entity and entity entity entity and entity instance entity and AudioRecording represents entity and entity part entity and entity instance entity and RadiatingSound subProcess entity and entity instrument entity and Physical patient entity and entity
(=> (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 Physical and MultimediaProjector hasPurpose Physical and entity entity and entity instance entity and RadiatingLight instrument entity and Physical patient entity and entity instance entity and VideoRecording instance entity and Image destination entity and entity instance entity and Artifact attribute entity and Flat connected Physical and entity
(=> (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 Physical and VideoDisplay hasPurpose Physical and entity entity instance entity and RadiatingLight instance entity and VideoRecording patient entity and entity instrument entity and Physical
(=> (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 Physical and VideoGamePlayer hasPurpose Physical and entity entity, entity, entity and entity instance entity and VideoGame instrument entity and Physical agent entity and entity instance entity and Maneuver instrument entity and entity agent entity and entity subProcess entity and entity part entity and Physical instance entity and RadiatingLight agent entity and Physical patient entity and entity
(=> (instance ?X VideoRecording) (exists (?EV) (and (instance ?EV Process) (represents ?X ?EV) (capability RadiatingLight patient ?X))))	Mid-level-ontology.kif 12048-12054	instance Object and VideoRecording Entity instance Entity and Process represents Object and Entity capability RadiatingLight, patient and Object
(=> (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	roomAmenity HotelUnit and MotionPicture Object Physical and Entity instance Object and HotelUnit instance Physical and MediaSystem located Physical and Object instance Entity and MotionPicture modalAttribute ObjectL instance ObjectL and RadiatingLight instrument ObjectL and Physical patient ObjectL and Entity and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners