No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1989-1989 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3347-3347 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3551-3551 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3158-3158 |
geographicSubregion MaAlehMichmashWestBank and WestBank |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1988-1988 |
MaAlehMichmashWestBank e' uma instancia de Cidade |