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 |
佛羅里達 是 美國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 924-924 |
例 佛羅里達 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2842-2842 |
例 佛羅里達 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 926-926 |
空間的符合 佛羅里達 and 阿拉巴馬 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 927-927 |
空間的符合 佛羅里達 and GulfOfMexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 925-925 |
空間的符合 佛羅里達 and 北大西洋 |