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
-------------------------


s__documentation(s__RadiatingLight,s__ChineseLanguage,'"这是 Radiatingsubclass,过程中会释放 或吸收光,一些例如包括:闪烁、闪光和闪亮。"')

chinese_format.kif 3328-3329
s__documentation(s__RadiatingLight,s__EnglishLanguage,'"The subclass of Radiating in which light is given off or absorbed. Some examples include blinking, flashing, and glittering."')

Merge.kif 12995-12997
s__instance(s__RadiatingLight,s__SetOrClass)

s__instance(s__RadiatingElectromagnetic,s__SetOrClass)

s__subclass(s__RadiatingLight,s__RadiatingElectromagnetic)

Merge.kif 12994-12994 Radiating light is a subclass of radiating electromagnetic

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


s__disjoint(s__RadiatingInfrared,s__RadiatingLight)

Mid-level-ontology.kif 567-567 Radiating infrared is disjoint from radiating light
s__disjoint(s__RadiatingUltraviolet,s__RadiatingLight)

Mid-level-ontology.kif 574-574 Radiating ultraviolet is disjoint from radiating light
s__instance(s__RadiatingLight,s__SetOrClass)

s__instance(s__RadiatingVisibleLight,s__SetOrClass)

s__subclass(s__RadiatingVisibleLight,s__RadiatingLight)

Mid-level-ontology.kif 590-590 Radiating visible light is a subclass of radiating light
s__instance(s__RadiatingLight,s__SetOrClass)

s__subclass(s__ReflectingLight,s__RadiatingLight)

s__instance(s__ReflectingLight,s__SetOrClass)

Mid-level-ontology.kif 551-551 Reflecting light is a subclass of radiating light
s__instance(s__RadiatingLight,s__SetOrClass)

s__subclass(s__Sunlight,s__RadiatingLight)

s__instance(s__Sunlight,s__SetOrClass)

Mid-level-ontology.kif 604-604 Sunlight is a subclass of radiating light
s__termFormat(s__ChineseLanguage,s__RadiatingLight,'"放射光线"')

chinese_format.kif 1223-1223
s__termFormat(s__EnglishLanguage,s__RadiatingLight,'"radiating light"')

english_format.kif 1672-1672

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


( ! [V__REGION] :
   (((( ? [V__EMIT] :
           ((s__instance(V__EMIT,s__RadiatingLight) &
               s__patient(V__EMIT,V__REGION)
             &
             s__instance(V__REGION,s__Region))))
       =>
       s__attribute(V__REGION,s__Illuminated))
     &
     (s__attribute(V__REGION,s__Illuminated) =>
       ( ? [V__EMIT] :
         ((s__instance(V__EMIT,s__RadiatingLight) &
             s__patient(V__EMIT,V__REGION)
           &
           s__instance(V__REGION,s__Region))))))
)
)

Merge.kif 12999-13005 There exists a process such that the process is an instance of radiating light and an object is a patient of the process and the object is an instance of region if and only if illuminated is an attribute of the object
( ! [V__R,V__S,V__H] :
   (((s__instance(V__R,s__RadiatingLight) &
         s__instance(V__H,s__Human) &
         s__instance(V__S,s__Seeing) &
         s__agent(V__S,V__H)
       &
       s__patient(V__S,V__R))
   =>
   (s__instance(V__R,s__RadiatingVisibleLight)))
)
)

Mid-level-ontology.kif 595-602

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


( ! [V__X,V__READ] :
   (((s__instance(V__X,s__BluRayDisc) &
         s__instance(V__READ,s__Decoding) &
         s__patient(V__READ,V__X))
     =>
     (( ? [V__LASER] :
         ((s__instance(V__LASER,s__RadiatingLight) &
             s__instrument(V__READ,V__LASER)
           &
           s__wavelength(V__LASER,s__MeasureFn(n__405,s__Nanometer)))))))
)
)

Media.kif 1196-1206
( ! [V__X,V__READ] :
   (((s__instance(V__X,s__CompactDisc) &
         s__instance(V__READ,s__Decoding) &
         s__patient(V__READ,V__X))
     =>
     (( ? [V__LASER] :
         ((s__instance(V__LASER,s__RadiatingLight) &
             s__instrument(V__READ,V__LASER)
           &
           s__wavelength(V__LASER,s__MeasureFn(n__780,s__Nanometer)))))))
)
)

Media.kif 1160-1170
( ! [V__X,V__READ] :
   (((s__instance(V__X,s__DVD) &
         s__instance(V__READ,s__Decoding) &
         s__patient(V__READ,V__X))
     =>
     (( ? [V__LASER] :
         ((s__instance(V__LASER,s__RadiatingLight) &
             s__instrument(V__READ,V__LASER)
           &
           s__wavelength(V__LASER,s__MeasureFn(n__650,s__Nanometer)))))))
)
)

Media.kif 1261-1271
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24935-24961
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13359-13371
( ! [V__COMBUSTION] :
   ((s__instance(V__COMBUSTION,s__Combustion) =>
       (( ? [V__HEAT, V__LIGHT] :
           ((s__instance(V__HEAT,s__Heating) &
               s__instance(V__LIGHT,s__RadiatingLight) &
               s__subProcess(V__HEAT,V__COMBUSTION)
             &
             s__subProcess(V__LIGHT,V__COMBUSTION))))))
)
)

Merge.kif 11943-11950
( ! [V__F] :
   ((s__instance(V__F,s__LightBulb) =>
       (s__capability(s__RadiatingLight,s__instrument__m,V__F)))
   )
)

Cars.kif 5110-5112
( ! [V__F] :
   ((s__instance(V__F,s__LightFixture) =>
       (s__capability(s__RadiatingLight,s__instrument__m,V__F)))
   )
)

Mid-level-ontology.kif 2950-2952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12696-12711
No TPTP formula. May not be expressible in strict first order. Media.kif 1391-1411
No TPTP formula. May not be expressible in strict first order. Media.kif 1279-1305
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24187-24201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24225-24233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23847-23862
( ! [V__X] :
   ((s__instance(V__X,s__VideoRecording) =>
       (( ? [V__EV] :
           ((s__instance(V__EV,s__Process) &
               s__represents(V__X,V__EV)
             &
             s__capability(s__RadiatingLight,s__patient__m,V__X))))))
)
)

Mid-level-ontology.kif 12674-12680
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1468-1481


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