No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2097-2097 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3357-3357 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3575-3575 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3282-3282 |
geographicSubregion NahariyaIsrael and Israel |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2096-2096 |
NahariyaIsrael est une instance de ville |