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 13405-13407
No TPTP formula. May not be expressible in strict first order. Merge.kif 13404-13404 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 585-585 Radiating infrared is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 592-592 Radiating ultraviolet is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 608-608 Radiating visible light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 569-569 Reflecting light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 622-622 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 13409-13414
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 613-620

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 26343-26369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14596-14608
No TPTP formula. May not be expressible in strict first order. Merge.kif 13416-13422
No TPTP formula. May not be expressible in strict first order. Merge.kif 12338-12345
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 2969-2971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13921-13936
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 25595-25609
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25633-25641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25255-25270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13899-13905
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