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 |
Nahariya israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2096-2096 |
Nahariya israel is an instance of city |