No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17731-17731 |
相反的屬性 無光的 and 發光的 |
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 |
例 無光的 and VisualAttribute |