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 |
geographicSubregion FloridaUnitedStates and UnitedStates |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 924-924 |
FloridaUnitedStates e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2842-2842 |
FloridaUnitedStates e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 926-926 |
FloridaUnitedStates encontra Alabama |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 927-927 |
FloridaUnitedStates encontra GulfOfMexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 925-925 |
FloridaUnitedStates encontra NorthAtlanticOcean |