No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5609-5610 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8402-8402 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9017-9017 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9018-9018 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9019-9019 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9020-9020 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9021-9021 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9024-9024 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9023-9023 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5607-5607 |
子類 運河結構 and StationaryArtifact |