No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1715-1715 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3320-3320 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3481-3481 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2835-2835 |
geographicSubregion EmmanuelWestBank and WestBank |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1714-1714 |
EmmanuelWestBank e' uma instancia de Cidade |