No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5177-5177 |
GulfOfMexico e' conectado com CaribbeanSea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5176-5176 |
GulfOfMexico e' conectado com 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 e' uma instancia de Gulf |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5174-5174 |
GulfOfMexico e' uma instancia de Area Aquatica salgada |