No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1803-1803 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3337-3337 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3536-3536 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2937-2937 |
geographicSubregion HurghadaEgypt and Egypt |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1802-1802 |
HurghadaEgypt est une instance de ville |