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 13040-13042
s__instance(s__RadiatingLight,s__Class)

s__instance(s__RadiatingElectromagnetic,s__Class)

s__subclass(s__RadiatingLight,s__RadiatingElectromagnetic)

Merge.kif 13039-13039 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__Class)

s__instance(s__RadiatingVisibleLight,s__Class)

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

s__subclass(s__ReflectingLight,s__RadiatingLight)

s__instance(s__ReflectingLight,s__Class)

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

s__instance(s__RadiatingLight,s__Class)

s__subclass(s__Sunlight,s__RadiatingLight)

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

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 13044-13050 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 26198-26224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14451-14463
( ! [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 11987-11994
( ! [V__F] :
   ((s__instance(V__F,s__LightBulb) =>
       (s__capability(s__RadiatingLight,s__instrument__m,V__F)))
   )
)

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

Mid-level-ontology.kif 2952-2954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13781-13796
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 25450-25464
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25488-25496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25110-25125
( ! [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 13759-13765
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1481-1494


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