No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1693-1693 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3476-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3317-3317 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2813-2813 |
geographicSubregion EastJerusalemIsrael and Israel |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1692-1692 |
EastJerusalemIsrael est une instance de ville |