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