No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1789-1789 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3522-3522 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3524-3524 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3523-3523 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3333-3333 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2917-2917 |
geographicSubregion HebronWestBank and WestBank |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1788-1788 |
HebronWestBank e' uma instancia de Cidade |