No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4815-4819 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4827-4828 |
0.0 Meter(s) is an elevation of sea level |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3191-3191 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3189-3189 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3190-3190 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4814-4814 |
Sea level is an instance of geographic area |