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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiatingLight

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3328-3329
No TPTP formula. May not be expressible in strict first order. Merge.kif 13411-13413
No TPTP formula. May not be expressible in strict first order. Merge.kif 13410-13410 Radiating light is a subclass of radiating electromagnetic

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 589-589 Radiating infrared is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 596-596 Radiating ultraviolet is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 612-612 Radiating visible light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 573-573 Reflecting light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 626-626 Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1223-1223
No TPTP formula. May not be expressible in strict first order. english_format.kif 1667-1667

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13415-13420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 617-624

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1192-1202
No TPTP formula. May not be expressible in strict first order. Media.kif 1156-1166
No TPTP formula. May not be expressible in strict first order. Media.kif 1257-1267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26367-26393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14620-14632
No TPTP formula. May not be expressible in strict first order. Merge.kif 13422-13428
No TPTP formula. May not be expressible in strict first order. Merge.kif 12344-12351
No TPTP formula. May not be expressible in strict first order. Cars.kif 5090-5092
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2973-2975
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13925-13940
No TPTP formula. May not be expressible in strict first order. Media.kif 1387-1407
No TPTP formula. May not be expressible in strict first order. Media.kif 1275-1301
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25619-25633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25657-25665
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25279-25294
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13903-13909
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1481-1494


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