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