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 |
佛罗里达 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2842-2842 |
佛罗里达 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 926-926 |
佛罗里达 接上 阿拉巴马 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 927-927 |
佛罗里达 接上 GulfOfMexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 925-925 |
佛罗里达 接上 北大西洋 |