No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17731-17731 |
Unilluminated is the opposite of illuminated |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3943-3944 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17732-17733 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10319-10319 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12107-12107 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17730-17730 |
Unilluminated is an instance of visual attribute |