No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8547-8547 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9344-9344 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9345-9345 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9346-9346 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9347-9347 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6898-6898 |
例 入侵物種問題 and 環境問題 |