No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 928-929 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 437-437 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5245-5245 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5244-5244 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5247-5247 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5241-5241 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5118-5118 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5246-5246 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5242-5242 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5249-5249 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5243-5243 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2843-2843 |
Florida is a geographic subregion of united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 924-924 |
Florida is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2842-2842 |
Florida is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 926-926 |
Florida meets alabama |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 927-927 |
Florida meets Gulf of mexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 925-925 |
Florida meets north atlantic ocean |