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 |
![]() |
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 |
|
![]() |
![]() |