No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5177-5177 |
GulfOfMexico est connect� � CaribbeanSea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5176-5176 |
GulfOfMexico est connect� � NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7038-7038 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7039-7039 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7040-7040 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6603-6603 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7043-7043 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7041-7041 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7042-7042 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5173-5173 |
GulfOfMexico est une instance de Gulf |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5174-5174 |
GulfOfMexico est une instance de plan d'eau sal� |