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 17830-17832
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10057-10057
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11196-11196
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11197-11197
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11198-11198
No TPTP formula. May not be expressible in strict first order. Merge.kif 17829-17829 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 17835-17835 Unilluminated is the opposite of illuminated
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29312-29312 Unilluminated is the opposite of illuminated
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29311-29311 Unilluminated is the opposite of illuminated
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29310-29310 Unilluminated is the opposite of illuminated

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 3474-3495
No TPTP formula. May not be expressible in strict first order. Merge.kif 13816-13822

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13809-13814
No TPTP formula. May not be expressible in strict first order. Geography.kif 3789-3798
No TPTP formula. May not be expressible in strict first order. Geography.kif 3728-3737
No TPTP formula. May not be expressible in strict first order. Merge.kif 13689-13694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16525-16537


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