No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1515-1515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3413-3413 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3415-3415 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3414-3414 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2614-2614 |
Bat yam israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1514-1514 |
Bat yam israel is an instance of city |