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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Illuminated
Illuminated(illuminated)
brightness, cloudiness, dimness, duskiness, glint, illumination, light, lighting, moonlit, moony, obscureness, obscurity, overcast, penumbra, semidarkness, shade, shadiness, shadowiness, umbra

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3941-3942
No TPTP formula. May not be expressible in strict first order. Merge.kif 16475-16477
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10078-10078
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11230-11230
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11231-11231
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11232-11232
No TPTP formula. May not be expressible in strict first order. Merge.kif 16474-16474 Illuminated is an instance of visual attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16480-16480 Unilluminated is the opposite of illuminated
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29299-29299
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29298-29298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29297-29297

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2743-2764

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


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. Geography.kif 3512-3521
No TPTP formula. May not be expressible in strict first order. Geography.kif 3451-3460
No TPTP formula. May not be expressible in strict first order. Merge.kif 12564-12569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12869-12881


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