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

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


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 12527-12529
No TPTP formula. May not be expressible in strict first order. Merge.kif 12526-12526 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 773-773 Radiating infrared is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 780-780 Radiating ultraviolet is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 802-802 Radiating visible light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 757-757 Reflecting light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 816-816 Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1223-1223 "放射光线" is the printable form of radiating light in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1672-1672 "radiating light" is the printable form of radiating light in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12531-12537 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 807-814

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23738-23755
No TPTP formula. May not be expressible in strict first order. Media.kif 1196-1206
No TPTP formula. May not be expressible in strict first order. Media.kif 1160-1170
No TPTP formula. May not be expressible in strict first order. Media.kif 1261-1271
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25170-25196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12841-12853
No TPTP formula. May not be expressible in strict first order. Merge.kif 11528-11535
No TPTP formula. May not be expressible in strict first order. Cars.kif 5066-5068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3555-3557
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12077-12092
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 24217-24231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24278-24286
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23806-23821
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12055-12061
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1454-1467


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