No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1525-1525 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3303-3303 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3422-3422 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3423-3423 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2624-2624 |
geographicSubregion BeitElWestBank and WestBank |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1524-1524 |
BeitElWestBank e' uma instancia de Cidade |