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


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 12680-12682
No TPTP formula. May not be expressible in strict first order. Merge.kif 12679-12679 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1672-1672

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12684-12690 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 23781-23798
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 25213-25239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12869-12881
No TPTP formula. May not be expressible in strict first order. Merge.kif 11684-11691
No TPTP formula. May not be expressible in strict first order. Cars.kif 5110-5112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3561-3563
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12105-12120
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 24260-24274
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24321-24329
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23849-23864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12083-12089
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